Evaluating Security Specification Mining for a CISC Architecture
Evaluating Security Specification Mining for a CISC Architecture
复制标题
评估 CISC 架构的安全规范挖掘
DOI：
10.1109/host45689.2020.9300291
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
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/mtv.2018.00013
发表时间：
2018
期刊：
19th International Workshop on Microprocessor and SOC Test and Verification (MTV
影响因子：
--
作者：
Deutschbein, Calvin;Sturton, Cynthia
通讯作者：
Sturton, Cynthia
DOI：
10.1007/s10836-013-5403-y
发表时间：
2013-09
期刊：
Journal of Electronic Testing
影响因子：
--
作者：
Lingyi Liu;Shobha Vasudevan
通讯作者：
Lingyi Liu;Shobha Vasudevan
考虑动态预成形的线驱动捕获机器人
DOI：
--
发表时间：
2004
期刊：
第22回日本ロボット学会学術講演会予稿集
影响因子：
--
作者：
M.Higashimori;東森 充;東森 充
通讯作者：
東森 充
规格：一种轻量级运行时机制，用于保护软件免受安全关键处理器错误的影响
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