Mining Security Critical Linear Temporal Logic Specifications for Processors
Mining Security Critical Linear Temporal Logic Specifications for Processors
复制标题
采矿安全关键的线性时态逻辑处理器规范
DOI：
10.1109/mtv.2018.00013
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Sturton, Cynthia
中科院分区：
文献类型：
--
作者：
Deutschbein, Calvin;Sturton, Cynthia
登录
查看更多内容
识别处理器动态验证的安全关键属性
DOI：
10.1145/3037697.3037734
发表时间：
2017
期刊：
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Zhang, Rui;Stanley, Natalie;Griggs, Christopher;Chi, Andrew;Sturton, Cynthia
通讯作者：
Sturton, Cynthia
DOI：
10.1109/memcod.2011.5970526
发表时间：
2011-07
期刊：
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011)
影响因子：
--
作者：
Lingyi Liu;David Sheridan;V. Athavale;Shobha Vasudevan
通讯作者：
Lingyi Liu;David Sheridan;V. Athavale;Shobha Vasudevan
控制信号断言的自动生成和限定：基于时间窗口的方法
DOI：
--
发表时间：
2015
期刊：
IEEE/IFIP International Conference on Very Large Scale Integration of System-on-Chip
影响因子：
--
作者：
Alessandro Danese;Francesca Filini;Tara Ghasempouri;G. Pravadelli
通讯作者：
G. Pravadelli
通过将断言检查器与代码覆盖率相结合来评估通用处理器中的安全要求
DOI：
10.1109/hst.2012.6224318
发表时间：
2012
期刊：
2012 IEEE International Symposium on Hardware-Oriented Security and Trust
影响因子：
--
作者：
Michael Bilzor;Ted Huffmire;C. Irvine;T. Levin
通讯作者：
T. Levin
规格：一种轻量级运行时机制，用于保护软件免受安全关键处理器错误的影响
DOI：
10.1145/2694344.2694366
发表时间：
2015
期刊：
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子：
--
作者：
Matthew Hicks;C. Sturton;Samuel T. King;Jonathan M. Smith
通讯作者：
Jonathan M. Smith