Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits

Kushal K. Ponugoti, Sudarshan K. Srinivasan, Nimish Mathure. Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits. In 28th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2021, Dubai, United Arab Emirates, November 28 - Dec. 1, 2021. pages 1-6, IEEE, 2021. [doi]

Abstract

Abstract is missing.