TY  - RPRT
TI  - Hardware Trojan Detection through Information Flow Security Verification
AU  - Adib Nahiyan
AU  - Mehdi Sadi
AU  - Rahul Vittal
AU  - Gustavo Contreras
AU  - Domenic Forte
AU  - Mark Tehranipoor
PY  - 2018
DO  - 10.1109/test.2017.8242062
UR  - https://arxiv.org/abs/1803.04102
ID  - 1803.04102
ER  -