Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}