%0 Conference Paper %1 conf/host/PalmerM13 %A Palmer, David W. %A Manna, Parbati Kumar %B HOST %D 2013 %I IEEE Computer Society %K dblp %P 61-66 %T An efficient algorithm for identifying security relevant logic and vulnerabilities in RTL designs. %U http://dblp.uni-trier.de/db/conf/host/host2013.html#PalmerM13 %@ 978-1-4799-0559-1

@inproceedings{conf/host/PalmerM13, added-at = {2023-03-24T00:00:00.000+0100}, author = {Palmer, David W. and Manna, Parbati Kumar}, biburl = {https://www.bibsonomy.org/bibtex/28bf816c2d11c8d7c4507eb2764738ac3/dblp}, booktitle = {HOST}, crossref = {conf/host/2013}, ee = {https://doi.ieeecomputersociety.org/10.1109/HST.2013.6581567}, interhash = {4ff22109facfadd7777a253f45d06c94}, intrahash = {8bf816c2d11c8d7c4507eb2764738ac3}, isbn = {978-1-4799-0559-1}, keywords = {dblp}, pages = {61-66}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:54:28.000+0200}, title = {An efficient algorithm for identifying security relevant logic and vulnerabilities in RTL designs.}, url = {http://dblp.uni-trier.de/db/conf/host/host2013.html#PalmerM13}, year = 2013 }