The undetectable and unprovable hardware trojan horse

Proceedings - Design Automation Conference

Volumn , Issue , 2013, Pages

  Wei, Sheng ^a   Potkonjak, Miodrag ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CUSTOMIZABLE; HARDWARE TROJAN HORSE; SECURITY ATTACKS; TRUSTED SYSTEMS;

COMPUTER AIDED DESIGN; MULTIPROCESSING SYSTEMS; NETWORK SECURITY;

HARDWARE;

EID: 84879858360     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2463209.2488912     Document Type: Conference Paper

References (6)

1. M. Tehranipoor, F. Koushanfar, A Survey of Hardware Trojan Taxonomy and Detection, IEEE Design and Test of Computers, Vol. 27, No. 1, 2010, pp. 10-25.
2. S. Wei, S. Meguerdichian, M. Potkonjak, Gate-level Characterization: Foundations and Hardware Security Applications, DAC 2010, pp. 222-227.
3. S. Wei, K. Li, F. Koushanfar, M. Potkonjak, Hardware Trojan Horse Benchmark via Optimal Creation and Placement of Malicious Circuitry, DAC 2012, pp. 90-95.
4. S. Wei, L. Kai, F. Koushanfar, M. Potkonjak, Provably Complete Hardware Trojan Detection Using Test Point Insertion, ICCAD 2012, pp. 569-576.
5. H. Baba, S. Mitra, Testing for Transistor Aging, VTS 2009, pp. 215-220.
6. L. Yuan, G. Qu, Information Hiding in Finite State Machine, IH 2004, pp. 340-354.