Practical, lightweight secure inclusion of third-party intellectual property

IEEE Design and Test

Volumn 30, Issue 2, 2013, Pages 8-16

  Waksman, Adam ^a   Sethumadhavan, Simha ^a   Eum, Julianna ^b  

^a Howard Hughes Medical Institute   (United States)

^b United States Military Academy Cyber Research Center (CRC)   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLECTUAL PROPERTY; SCALABILITY;

CLOCK FREQUENCY; DATA ENCRYPTION; ENGINEERING PROCESS; EXPONENTIAL TIME ALGORITHM; FORMAL VERIFICATIONS; PROGRAM COUNTERS; SCALABILITY ANALYSIS; STATUS REGISTERS;

DESIGN;

EID: 84889075389     PISSN: 21682356     EISSN: None     Source Type: Journal    
DOI: 10.1109/MDT.2013.2247458     Document Type: Article

References (8)

1. S. F. Barrett and D. J. Pack, "Atmel AVR microcontroller primer: Programming and interfacing," in Synthesis Lectures on Digital Circuits and Systems. New York, NY, USA: Morgan & Claypool, 2008.
2. D. Agrawal, S. Baktir, D. Karakoyunlu, P. Rohatgi, and B. Sunar, "Trojan detection using IC fingerprinting," in Proc. IEEE Symp. Secur. Privacy (SP'07), May 2007, pp. 296-310. (Pubitemid 47432536)
3. C. Gentry, "Computing arbitrary functions of encrypted data," Commun. ACM, vol. 53, no. 3, pp. 97-105, 2010.
4. S. T. King, J. Tucek, A. Cozzie, C. Grier, W. Jiang, and Y. Zhou, "Designing and implementing malicious hardware," in Proc. 1st Usenix Workshop on Large-Scale Exploits and Emergent Threats, Berkeley, CA, 2008, pp. 5:1-5:8, USENIX Association.
5. S. Rowley, S. Thorne, A. Bousetta, C. Perry, and C. Dutton, "Comparative study of two KLA-tencor advanced patterned wafer inspection systems," in Proc. Adv. Semicond. Manufact. Conf. Workshop (IEEE/SEMI), 2000, pp. 141. (Pubitemid 32137825)
6. M. Tehranipoor and F. Koushanfar, "A survey of hardware Trojan taxonomy and detection," IEEE Design Test Comput., vol. 27, no. 1, pp. 10-25, Jan.-Feb. 2010.
7. J. von Neumann, "Probabilistic logics and the synthesis of reliable organisms from unreliable components," in Proc. Automata Studies, 1956, pp. 43-99.
8. A. Waksman and S. Sethumadhavan, "Silencing hardware backdoors," in Proc. 2011 IEEE Symp. Secur. Privacy (SP'11), Wash., DC, 2011, pp. 49-63, IEEE Computer Society.