NSF SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans

---

Publications

---

• Kushal K. Ponugoti , Sudarshan K. Srinivasan and Nimish Mathure: Verification of Serialising Instructions For Security Against Transient Execution Attacks IET Computer Digital Techniques, vol. 17, no. 3-4: pages 127-140 (2023). [Benchmarks]

• Nimish Mathure, Sudarshan K. Srinivasan, Kushal K. Ponugoti, and Arun Govindankutty: Hardware Mitigation and Verification For Rogue In-Flight Data Load Attacks 30th IEEE International Conference on Electronics, Circuits & Systems (ICECS 2023). [Benchmarks]

• Nimish Mathure, Sudarshan K. Srinivasan, and Kushal K. Ponugoti: A Refinement-Based Approach to Spectre Invulnerability Verification IEEE Access, vol. 10, pp. 80949-80957 (2022). [Benchmarks]

• Kushal K. Ponugoti, Sudarshan K. Srinivasan, and Nimish Mathure: Formal Verification Approach to Detect Always-On Denial-of-Service Trojans 28th IEEE International Conference on Electronics, Circuits & Systems (ICECS 2021). [Benchmarks]