Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits
Ponugoti, Kushal K., Srinivasan, Sudarshan K., Mathure, Nimish
Published in 2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS) (28.11.2021)
Published in 2021 28th IEEE International Conference on Electronics, Circuits, and Systems (ICECS) (28.11.2021)
Get full text
Conference Proceeding
A Formal Verification Approach for Detecting Opcode Trojans
Mathure, Nimish, Srinivasan, Sudarshan K., Ponugoti, Kushal K., Malik, Akansha, Quanbeck, Samuel
Published in 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (23.11.2020)
Published in 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS) (23.11.2020)
Get full text
Conference Proceeding
Ensuring SFENCE Instruction Correctness: A Formal Verification Framework Based on Invariants
Ponugoti, Kushal K.
Published in 2024 IEEE International Conference on Electro Information Technology (eIT) (30.05.2024)
Published in 2024 IEEE International Conference on Electro Information Technology (eIT) (30.05.2024)
Get full text
Conference Proceeding
Towards Trustworthy RISC-V Designs: Formal Verification of the MFENCE Instruction
Ponugoti, Kushal K., Karlapalem, Nikhila
Published in 2024 4th Interdisciplinary Conference on Electrics and Computer (INTCEC) (11.06.2024)
Published in 2024 4th Interdisciplinary Conference on Electrics and Computer (INTCEC) (11.06.2024)
Get full text
Conference Proceeding