Reverse engineering digital circuits using functional analysis

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2013, Pages 1277-1280

  Subramanyan, Pramod ^a   Tsiskaridze, Nestan ^a   Pasricha, Kanika ^a   Reisman, Dillon ^a   Susnea, Adriana ^a   Malik, Sharad ^a  

^a Princeton University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL CIRCUITS; MALWARE; TIMING CIRCUITS;

DESIGN CHANGE; INTEGRATED CIRCUITS (ICS); MANUAL INTERVENTION; MULTI-VENDOR ENVIRONMENT; NETLIST; PRACTICAL TESTS; REGISTER FILES;

REVERSE ENGINEERING;

EID: 84885590301     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.7873/date.2013.264     Document Type: Conference Paper

References (16)

1. D. Agrawal, S. Baktir, D. Karakoyunlu, P. Rohatgi, and B. Sunar. Trojan detection using ic fingerprinting. In Proc. of IEEE SP 2007.
2. S. Chatterjee, A. Mishchenko, R. Brayton, X. Wang, and T. Kam. Reducing Structural Bias in Technology Mapping. In ICCAD 2005.
3. J. Cong and Y. Ding. FlowMap: An Optimal Technology Mapping Algorithm for Delay Optimization in Lookup-Table Based FPGA Designs. IEEE Trans. on Comp.-Aided Des. of Integrated Circuits and Sys., 1994.
4. DARPA. Integrity and Reliability of Integrated Circuits (IRIS). http://www.darpa.mil/OurWork/MTO/Programs/Integrity-and-Reliability-of- Integrated-Circuits-(IRIS).aspx, 2012.
5. N. Eén and N. Sörensson. An Extensible SAT-solver. In SAT 2003.
6. Defence Science Board Task Force. High Performance Microchip Supply. http://www.acq.osd.mil/dsb/reports/ADA435563.pdf, 2005.
7. M.C. Hansen, H. Yalcin, and J.P. Hayes. Unveiling the ISCAS-85 Benchmarks: A Case Study in Reverse Engineering. IEEE Design & Test of Comp., 16(3):72-80, 1999.
8. Y. Jin and Y. Makris. Hardware Trojan Detection Using Path Delay Fingerprint. In Proc. of HOST 2008.
9. W. Li, Z. Wasson, and S. A. Seshia. Reverse Engineering Circuits Using Behavioral Pattern Mining. In Proc. of HOST 2012.
10. J. Lieberman. National Security Aspects of the Global Migration of the U.S. Semiconductor Industry. White paper, Airland Subcommitte, US Senate Armed Services Committee, 2003.
11. J. Mohnke and S. Malik. Permutation and Phase Independent Boolean Comparison. Integration, the VLSI Journal, 16(2), December 1993.
12. SEMI. IP Challenges for the Semiconductor Equipment and Materials Industry. http://www.semi.org/sites/semi.org/files/docs/2012-IP-White-Paper.pdf, 2012.
13. F. Somenzi. CUDD: CU Decision Diagram Package. http://vlsi.colorado.edu/ ~fabio/CUDD/, 2011.
14. M. Tehranipoor and F. Koushanfar. A Survey of Hardware Trojan Taxonomy and Detection. IEEE Design & Test of Comp., 2009.
15. R. Torrance and D. James. The State-of-the-Art in IC Reverse Engineering. In Proc. of CHES 2009, 2009.
16. X. Wang, H. Salmani, M. Tehranipoor, and J. Plusquellic. Hardware Trojan Detection and Isolation Using Current Integration and Localized Current Analysis. In Proc. of DFT 2008, 2008.