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.
Article in IEEE Transactions on Information Forensics and Security (December 2023)
Conference proceeding (October 2023)
Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (June 2023)