Aker: A Design and Verification Framework for Safe and Secure SoC Access Control
Aker: A Design and Verification Framework for Safe and Secure SoC Access Control
复制标题
Aker：安全可靠的 SoC 访问控制的设计和验证框架
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Kastner, Ryan
中科院分区：
文献类型：
--
作者：
Restuccia, Francesco;Meza, Andres;Kastner, Ryan
登录
查看更多内容
特别会议：硬件安全 CAD - 自动化是采用解决方案的关键
DOI：
--
发表时间：
2021
期刊：
IEEE VLSI Test Symposium
影响因子：
--
作者：
Sohrab Aftabjahani;R. Kastner;M. Tehranipoor;Farimah Farahmandi;J. Oberg;Anders Nordstrom;Nicole Fern;Alric Althoff
通讯作者：
Alric Althoff
在可重新配置的硬件中实施内存策略规范
影响因子：
5.6
作者：
Ted Huffmire;T. Sherwood;R. Kastner;T. Levin
通讯作者：
T. Levin
实现片上网络路由器安全属性的形式验证
DOI：
--
发表时间：
2018
期刊：
IEEE European Test Symposium
影响因子：
--
作者：
Martha Johanna Sepúlveda;Damian Aboul;G. Sigl;B. Becker;M. Sauer
通讯作者：
M. Sauer
片上系统中基于硬件的 IP 漏洞检测和部署后修补
DOI：
--
发表时间：
2021
影响因子：
2.9
作者：
Benjamin Tan;Rana Elnaggar;Jason M. Fung;R. Karri;K. Chakrabarty
通讯作者：
K. Chakrabarty
AXI HyperConnect：用于 FPGA SoC 中硬件加速器的可预测的管理程序级互连
DOI：
10.1109/dac18072.2020.9218652
发表时间：
2020
期刊：
2020 57th ACM/IEEE Design Automation Conference (DAC)
影响因子：
--
作者：
Francesco Restuccia;Alessandro Biondi;Mauro Marinoni;Giorgiomaria Cicero;G. Buttazzo
通讯作者：
G. Buttazzo