AGILE: Automated Assertion Generation to Detect Information Leakage Vulnerabilities
Article in IEEE Transactions on Information Forensics and Security (December 2023)
The most recent citing publications are shown below. View all 20 publications that cite this research output on Dimensions.
SMASh: A State Encoding Methodology Against Attacks on Finite State Machines
Conference proceeding (October 2023)
Scalable Detection of Hardware Trojans Using ATPG-Based Activation of Rare Events
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (June 2023)