Inproceedings,
Hardware trojan detection through information flow security verification.
A. Nahiyan, M. Sadi, R. Vittal, G. Contreras, D. Forte, and M. Tehranipoor.ITC, page 1-10. IEEE, (2017)
Meta data
- BibTeX key
- conf/itc/NahiyanSVCFT17
- entry type
- inproceedings
- booktitle
- ITC
- year
- 2017
- pages
- 1-10
- publisher
- IEEE
- crossref
- conf/itc/2017
- ee
- https://doi.org/10.1109/TEST.2017.8242062
- isbn
- 978-1-5386-3413-4
- url
- http://dblp.uni-trier.de/db/conf/itc/itc2017.html#NahiyanSVCFT17
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/itc/NahiyanSVCFT17
%A Nahiyan, Adib
%A Sadi, Mehdi
%A Vittal, Rahul
%A Contreras, Gustavo K.
%A Forte, Domenic
%A Tehranipoor, Mark
%B ITC
%D 2017
%I IEEE
%K
%P 1-10
%T Hardware trojan detection through information flow security verification.
%U http://dblp.uni-trier.de/db/conf/itc/itc2017.html#NahiyanSVCFT17
%@ 978-1-5386-3413-4
@inproceedings{conf/itc/NahiyanSVCFT17,
added-at = {2023-12-13T07:26:44.000+0100},
author = {Nahiyan, Adib and Sadi, Mehdi and Vittal, Rahul and Contreras, Gustavo K. and Forte, Domenic and Tehranipoor, Mark},
biburl = {https://www.bibsonomy.org/bibtex/2c6be4be06d56413da0c528177996b4f4/admin},
booktitle = {ITC},
crossref = {conf/itc/2017},
ee = {https://doi.org/10.1109/TEST.2017.8242062},
interhash = {b91180db60952f435a0c37a23bf9ae43},
intrahash = {c6be4be06d56413da0c528177996b4f4},
isbn = {978-1-5386-3413-4},
keywords = {},
pages = {1-10},
publisher = {IEEE},
timestamp = {2023-12-13T07:26:44.000+0100},
title = {Hardware trojan detection through information flow security verification.},
url = {http://dblp.uni-trier.de/db/conf/itc/itc2017.html#NahiyanSVCFT17},
year = 2017
}