%0 Conference Paper %1 conf/icecsys/PonugotiSM21 %A Ponugoti, Kushal K. %A Srinivasan, Sudarshan K. %A Mathure, Nimish %B ICECS %D 2021 %I IEEE %K dblp %P 1-6 %T Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits. %U http://dblp.uni-trier.de/db/conf/icecsys/icecsys2021.html#PonugotiSM21 %@ 978-1-7281-8281-0

@inproceedings{conf/icecsys/PonugotiSM21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ponugoti, Kushal K. and Srinivasan, Sudarshan K. and Mathure, Nimish}, biburl = {https://www.bibsonomy.org/bibtex/24f4b730da1af8064fad70aab39b84398/dblp}, booktitle = {ICECS}, crossref = {conf/icecsys/2021}, ee = {https://doi.org/10.1109/ICECS53924.2021.9665617}, interhash = {7fa2574e4b61162e725da09e0f231d14}, intrahash = {4f4b730da1af8064fad70aab39b84398}, isbn = {978-1-7281-8281-0}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2024-04-09T16:20:33.000+0200}, title = {Formal Verification Approach to Detect Always-On Denial of Service Trojans in Pipelined Circuits.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2021.html#PonugotiSM21}, year = 2021 }