Funder
Dipartimenti di Eccellenza
Italian Ministry of Education, Universities and Research
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Computational Theory and Mathematics,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Automated Generation of Security Assertions for RTL Models;ACM Journal on Emerging Technologies in Computing Systems;2023-01-19
2. Network-on-Chip Trust Validation Using Security Assertions;Journal of Hardware and Systems Security;2022-12