Automated Generation of Security Assertions for RTL Models
Article in ACM Journal on Emerging Technologies in Computing Systems (January 2023)
The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.
Network-on-Chip Trust Validation Using Security Assertions
Article in Journal of Hardware and Systems Security (December 2022)
Hardware-Assisted Malware Detection and Localization Using Explainable Machine Learning
Article in IEEE Transactions on Computers (February 2022)