%0 Conference Paper %1 conf/hpcc/KriegRS14 %A Krieg, Christian %A Rathmair, Michael %A Schupfer, Florian %B HPCC/CSS/ICESS %D 2014 %I IEEE %K dblp %P 729-734 %T A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. %U http://dblp.uni-trier.de/db/conf/hpcc/hpcc2014.html#KriegRS14 %@ 978-1-4799-6123-8

@inproceedings{conf/hpcc/KriegRS14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Krieg, Christian and Rathmair, Michael and Schupfer, Florian}, biburl = {https://www.bibsonomy.org/bibtex/20608610e0d2e899de8bc83f89efd1e04/dblp}, booktitle = {HPCC/CSS/ICESS}, crossref = {conf/hpcc/2014}, ee = {https://doi.org/10.1109/HPCC.2014.112}, interhash = {3e4ff7e724c7c34a9174ff975dc40bed}, intrahash = {0608610e0d2e899de8bc83f89efd1e04}, isbn = {978-1-4799-6123-8}, keywords = {dblp}, pages = {729-734}, publisher = {IEEE}, timestamp = {2019-10-17T16:52:44.000+0200}, title = {A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.}, url = {http://dblp.uni-trier.de/db/conf/hpcc/hpcc2014.html#KriegRS14}, year = 2014 }