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]
@inproceedings{PonugotiSM21,
title = {Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits},
author = {Kushal K. Ponugoti and Sudarshan K. Srinivasan and Nimish Mathure},
year = {2021},
doi = {10.1109/ICECS53924.2021.9665617},
url = {https://doi.org/10.1109/ICECS53924.2021.9665617},
researchr = {https://researchr.org/publication/PonugotiSM21},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {28th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2021, Dubai, United Arab Emirates, November 28 - Dec. 1, 2021},
publisher = {IEEE},
isbn = {978-1-7281-8281-0},
}