Reverse engineering circuits using behavioral pattern mining

Proceedings of the 2012 IEEE International Symposium on Hardware-Oriented Security and Trust, HOST 2012

Volumn , Issue , 2012, Pages 83-88

  Li, Wenchao ^a   Wasson, Zach ^a   Seshia, Sanjit A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL PATTERNS; CIRCUIT COMPONENTS; COMPONENT LIBRARIES; GENERAL FUNCTIONS; HIGH LEVEL DESCRIPTION; HIGH-LEVEL FUNCTIONS; INPUT-OUTPUT; LIBRARY COMPONENTS; LOGICAL SPECIFICATIONS; NETLIST; OFF-THE-SHELF COMPONENTS; SIMILAR PATTERN; SUBGRAPH ISOMORPHISM; TROJANS;

MODEL CHECKING; REVERSE ENGINEERING; SPECIFICATIONS; SUPPLY CHAINS;

HARDWARE;

EID: 84864117075     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HST.2012.6224325     Document Type: Conference Paper

References (23)

1. I2c controller core. http://opencores.com/project,i2c.
2. Opencores. http://opencores.com/.
3. Simple spi core. http://opencores.com/project,simple-spi.
4. Soc interconnection: Wishbone. http://opencores.org/opencores,wishbone.
5. Spi core. http://opencores.com/project,spi.
6. E. Balas and C. S. Yu. Finding a maximum clique in an arbitrary graph. SIAM J. Comput., 15:1054-1068, November 1986. (Pubitemid 17465854)
7. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
8. A. DeHon, J. Adams, M. DeLorimier, N. Kapre, Y. Matsuda, H. Naeimi, M. Vanier, and M. Wrighton. Design patterns for reconfigurable computing. In Field-Programmable Custom Computing Machines, 2004. FCCM 2004. 12th Annual IEEE Symposium on, pages 13-23, april 2004. (Pubitemid 40661978)
9. P. J. Durand, R. Pasari, J. W. Baker, and C. Tsai. An efficient algorithm for similarity analysis of molecules. Internet Journal of Chemistry, 1999.
10. M. R. Garey and D. S. Johnson. Computer and intractability. Freeman, 1979.
11. M. C. Hansen, H. Yalcin, and J. P. Hayes. Unveiling the ISCAS-85 benchmarks: A case study in reverse engineering. IEEE Design & Test of Computers, 16(3):72-80, 1999. (Pubitemid 30497933)
12. M. Hicks, M. Finnicum, S. T. King, M. M. K. Martin, and J. M. Smith. Overcoming an untrusted computing base: Detecting and removing malicious hardware automatically. In IEEE Symposium on Security and Privacy, pages 159-172, 2010.
13. W. Li, A. Forin, and S. A. Seshia. Scalable specification mining for verification and diagnosis. In Design Automation Conference, pages 755-760, 2010.
14. K. McMillan. The cadence smv model checker. http://www.kenmcmil.com/smv. html.
15. J. Mohnke and S. Malik. Permutation and phase independent boolean comparison. In European Conference on Design Automation, Feb. 1993.
16. J. Mohnke, P. Molitor, and S. Malik. Establishing latch correspondence for sequential circuits using distinguishing signatures. In MidWest Symposium on Circuits and Systems, pages 472-476, 1997.
17. S. Niskanen and P. Östergård. Cliquer-routines for clique searching. http://users.tkk.fi/pat/cliquer.html.
18. A. Pnueli. The temporal logic of programs. In 18th Annual Symposium on Foundations of Computer Science (FOCS), pages 46-57, 1977.
19. J. A. Roy, F. Koushanfar, and I. L. Markov. EPIC: Ending piracy of integrated circuits. In Proc. Design, Automation and Test in Europe (DATE), pages 1069-1074, 2008.
20. Y. Shi, C. W. Ting, B.-H. Gwee, and Y. Ren. A highly efficient method for extracting FSMs from flattened gate-level netlist. In IEEE International Symposium on Circuits and Systems (ISCAS 2010), pages 2610-2613, 2010.
21. C. Sturton, M. Hicks, D. Wagner, and S. T. King. Defeating UCI: Building stealthy and malicious hardware. In IEEE Symposium on Security and Privacy, pages 64-77, 2011.
22. W. Thomas. Automata on infinite objects. In Handbook of Theoretical Computer Science, pages 133-164. Elsevier, 1990.
23. R. Torrance and D. James. The state-of-the-art in IC reverse engineering. In 11th International Workshop on Cryptographic Hardware and Embedded Systems (CHES), volume 5747 of Lecture Notes in Computer Science, pages 363-381, 2009.