Detecting hardware trojans: a tale of two techniques

Author
Publication Year
2015

Type

Conference Paper
Conference Name
Formal Methods in Computer-Aided Design (FMCAD), 2015
Publisher
IEEE