SCorCH : Secure Code for Capability Hardware
SCorCH : Secure Code for Capability Hardware
SCorCH：能力硬件的安全代码
批准号：
EP/V000225/1
负责人：
Daniel Kroening
金额：
$39.87万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2020
资助国家：
英国
项目状态：
已结题
起止时间：
2020 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(4)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1109/secdev53368.2022.00020
发表时间：
2021-06
期刊：
2022 IEEE Secure Development Conference (SecDev)
影响因子：
--
作者：
[A. Bhayat;L. Cordeiro;Giles Reger;F. Shmarov;Konstantin Korovin;T. Melham;Kaled Alshamrany;Mustafa A. Mustafa-Mustafa-A.-Mustafa-144411037;Pierre Olivier]
通讯作者：
A. Bhayat;L. Cordeiro;Giles Reger;F. Shmarov;Konstantin Korovin;T. Melham;Kaled Alshamrany;Mustafa A. Mustafa-Mustafa-A.-Mustafa-144411037;Pierre Olivier
A Formal CHERI-C Semantics for Verification
用于验证的形式化 CHERI-C 语义
用于验证的形式化 CHERI-C 语义
DOI：
10.48550/arxiv.2211.07511
发表时间：
2022
期刊：
影响因子：
--
作者：
[Park S]
通讯作者：
Park S
End-to-End Formal Verification of a RISC-V Processor Extended with Capability Pointers
使用功能指针扩展的 RISC-V 处理器的端到端形式验证
使用功能指针扩展的 RISC-V 处理器的端到端形式验证
DOI：
--
发表时间：
2021
期刊：
影响因子：
--
作者：
[D Gao]
通讯作者：
D Gao
Tools and Algorithms for the Construction and Analysis of Systems - 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I
系统构建和分析的工具和算法 - 第 29 届国际会议，TACAS 2023，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2023，法国巴黎，2023 年 4 月 22-27 日，会议记录，部分
系统构建和分析的工具和算法 - 第 29 届国际会议，TACAS 2023，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2023，法国巴黎，2023 年 4 月 22-27 日，会议记录，部分
DOI：
10.1007/978-3-031-30823-9_28
发表时间：
2023
期刊：
影响因子：
--
作者：
[Park S]
通讯作者：
Park S
New Foundational Structures for Engineering Verified multi-UAVs
-
批准号：EP/J012564/1
-
项目类别：Research Grant
-
资助金额：$81.13万
-
财政年份：2012
-
负责人：Daniel Kroening
-
依托单位：
Verification of Shared-Memory Concurrent Software
-
批准号：EP/H017585/1
-
项目类别：Research Grant
-
资助金额：$54.6万
-
财政年份：2010
-
负责人：Daniel Kroening
-
依托单位：
Efficient Verification of Software with Replicated Components
-
批准号：EP/G026254/1
-
项目类别：Research Grant
-
资助金额：$54.27万
-
财政年份：2009
-
负责人：Daniel Kroening
-
依托单位：
海外基金