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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kushal K. Ponugoti' in GoogleThis author has not been identified. Look up 'Sudarshan K. Srinivasan' in GoogleThis author has not been identified. Look up 'Nimish Mathure' in Google

runs on WebDSL