DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems

DAGGER: Exploiting Language Semantics for Program Security in Embedded Systems
复制标题

DAGGER:利用语言语义实现嵌入式系统中的程序安全

DOI:
--
复制
发表时间:
2023
期刊:
24th International Symposium on Quality Electronic Design
影响因子:
--
通讯作者:
Garrett Cunningham, David Juedes
Garrett Cunningham, David Juedes
中科院分区:
--
文献类型:
--
作者:
Garrett Cunningham, David Juedes

文献摘要

参考文献

相似文献

软件定义元数据处理的架构支持
DOI: --
发表时间: 2015
期刊: International Conference on Architectural Support for Programming Languages and Operating Systems
影响因子: --
作者:
Udit Dhawan;Cătălin Hriţcu;Raphael Rubin;N. Vasilakis;S. Chiricescu;Jonathan M. Smith;T. Knight;B. Pierce;A. DeHon
通讯作者: A. DeHon
影响因子: 2.9
作者:
Benjamin Tan;Rana Elnaggar;Jason M. Fung;R. Karri;K. Chakrabarty
通讯作者: K. Chakrabarty
开放式平铺众核片上系统框架
DOI: --
发表时间: 2012
期刊: International Conference on Field-Programmable Logic and Applications
影响因子: --
作者:
Stefan Wallentowitz;A. Lankes;A. Zaib;Thomas Wild;A. Herkersdorf
通讯作者: A. Herkersdorf
GARUDA:根据安全信息流的高级策略设计节能硬件监视器
影响因子: 2.9
作者:
Seaghan Sefton;Taiman Siddiqui;Nathaniel St. Amour;G. Stewart;Avinash Karanth Kodi
通讯作者: Avinash Karanth Kodi
FinalFilter:在运行时断言处理器的安全属性
DOI: --
发表时间: 2019
期刊: IEEE Micro
影响因子: 3.6
作者:
C. Sturton;Matthew Hicks;Samuel T. King;Jonathan M. Smith
通讯作者: Jonathan M. Smith