3-D Integration and Security

We are exploring a novel approach to trustworthy system development based on 3-D integration, an emerging chip fabrication technique in which two or more integrated circuit dies are combined into a single stack using vertical conductive posts. Since the dies may be manufactured separately, 3-D circuit integration offers the option of enhancing a commodity processor with a variety of custom security functions, which are manufacturing options applicable only to those systems that require them. This research introduces a fundamentally new method to incorporate security mechanisms into hardware and has the potential to significantly shift the economics of trustworthy systems. The following is a list of our deliverables:

Journal Articles and Book Chapters

• Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia Irvine, and Timothy Levin. A 3D Split Manufacturing Approach to Trustworthy System Development. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD), Special Section on Three-dimensional Integrated Circuits and Microarchitectures, Vol. 32, No. 4, April 2013, Pages 611-615. [Transactions Brief] [Issue]
• Jonathan Valamehr, Ted Huffmire, Cynthia Irvine, Ryan Kastner, Cetin Kaya Koc, Timothy Levin, and Timothy Sherwood. A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors. Cryptography and Security: From Theory to Applications, Lecture Notes in Computer Science Volume 6805, David Naccache (Editor), Springer, March 2012. [Book Chapter] [Book]

Conference Papers

• Dimitrios Megas, Kleber Pizolato, Timothy Levin, and Ted Huffmire. A 3D Data Transformation Processor. Proceedings of the Workshop on Embedded Systems Security (WESS), Tampere, Finland, October 2012. ISBN: 978-1-4503-1286-8/12/10. [Paper] [Slides]
• Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Tim Levin. Evaluating Security Requirements in a General-Purpose Processor by Combining Assertion Checkers with Code Coverage. Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), San Francisco, CA, June 2012, Pages 49-54. [Paper] [Symposium] [Poster]
• Ted Huffmire, Timothy Levin, Cynthia Irvine, Ryan Kastner, and Timothy Sherwood. 3-D Extensions for Trustworthy Systems. Proceedings of the International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA), Las Vegas, NV, July 2011, Pages 45-54. [Proceedings] [Conference] [Slides]
• Michael Bilzor, Ted Huffmire, Cynthia Irvine, and Timothy Levin. Security Checkers: Detecting Processor Malicious Inclusions at Runtime. Proceedings of the IEEE International Symposium on Hardware-Oriented Security and Trust (HOST), San Diego, CA, June 2011, Pages 34-39. [Paper] [Conference] [Poster]
• Michael Bilzor. 3D Execution Monitor (3D-EM): Using 3D Circuits to Detect Hardware Malicious Inclusions in General Purpose Processors. Best PhD Paper, Proceedings of the International Conference on Information Warfare and Security (ICIW), Washington, DC, USA, March 2011, Pages 289-298. [Paper] [Slides] [Abstract] [Conference]
• Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia Irvine, and Timothy Levin. Hardware Assistance for Trustworthy Systems through 3-D Integration. Proceedings of the Annual Computer Security Applications Conference (ACSAC), Austin, TX, December 2010, Pages 199-210. [Paper] [Conference]
• Ted Huffmire, Timothy Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, and Ryan Kastner. Hardware Trust Implications of 3-D Integration. Proceedings of the 5th Workshop on Embedded Systems Security (WESS), Scottsdale, AZ, October 2010, Pages 1-10. [Paper] [Workshop] [Slides]
• Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy Levin, Thuy D. Nguyen, and Cynthia Irvine. Trustworthy System Security through 3-D Integrated Hardware. Proceedings of the 2008 IEEE International Workshop on Hardware-Oriented Security and Trust (HOST), Anaheim, CA, June 2008, Pages 91-92. [Extended Abstract] [Workshop] [Poster]

Technical Reports

• Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia Irvine, and Timothy Levin. A 3D Split Manufacturing Approach to Trustworthy System Development. NPS Technical Report NPS-CS-12-004, December 2012, to appear.
• Theodore Huffmire, Tim Levin, Cynthia Irvine, Thuy Nguyen, Jonathan Valamehr, Ryan Kastner, and Tim Sherwood. High-Assurance System Support through 3-D Integration. NPS Technical Report NPS-CS-07-016, November 2007. [Technical Report] [Index]

Seminars, Panels, and Invited Talks

• Ted Huffmire. A 3D Data Transformation Processor. ECE Seminar, Room 336, Information Technologies Engineering Building (ITEB), Department of Electrical and Computer Engineering, School of Engineering, University of Connecticut, Storrs, CT, 7 December 2012. [Abstract] [Slides]
• Ted Huffmire. Addressing Supply Chain Security with Split Manufacturing. Center for Embedded Computer Systems (CECS) Seminar, Room 3011, Donald Bren Hall, Donald Bren School of Information and Computer Sciences, UC Irvine, 27 July 2012. [Abstract] [Slides]
• Ted Huffmire. 3Dsec: Trustworthy System Security through 3D Integrated Hardware. Invited Talk, InfoSec Research Council (IRC) Meeting on the Topic of Hardware Security, Booz Allen Hamilton, Arlington, VA, 14 January 2010. [Agenda] [Slides]
• Ted Huffmire. Security Features for Hardware Design Tools. Panel Presentation, Secure Hardware: What Are the BIG Challenges?, Session 3: Panel Session, 2nd IEEE International Workshop on Hardware-Oriented Security and Trust (HOST), Room 304, Moscone Center, San Francisco, CA, 27 July 2009. [Agenda]
• Ted Huffmire. Application of 3-D Integration to Hardware Trust. Short Talk, Short Talk Session, IEEE Symposium on Security and Privacy, The Claremont Resort, Oakland, CA, 19 May 2009. [Session]

PhD Dissertations

• Jonathan Valamehr (Dept. of Electrical and Computer Engineering, UC Santa Barbara). Novel Methods of Augmenting High Performance Processors with Security Hardware. Ph.D. Dissertation, ECE Conference Room, Harold Frank Hall, UC Santa Barbara, 7 May 2013. Dissertation Supervisor: Timothy Sherwood. Dissertation Committee: Timothy Sherwood, Fred Chong, Peter Michael Melliar-Smith, and Ted Huffmire. [Slides]
• Jonathan Valamehr (Dept. of Electrical and Computer Engineering, UC Santa Barbara). Novel Methods of Augmenting High Performance Processors with Security Hardware. Ph.D. Dissertation Proposal, ECE Conference Room, Harold Frank Hall, UC Santa Barbara, 10 May 2012. Dissertation Supervisor: Timothy Sherwood. Dissertation Committee: Timothy Sherwood, Fred Chong, Peter Michael Melliar-Smith, and Ted Huffmire. Expected date of defense: May 2013. [Slides]
• CDR Michael Bilzor. Defining and Enforcing Hardware Security Requirements. Ph.D. Dissertation, Department of Computer Science, Naval Postgraduate School, Monterey, CA, December 2011. [Dissertation] [Slides]
• Michael Bilzor. Using 3D Circuit Integration to Detect Malicious Inclusions in General Purpose Processors. Ph.D. Dissertation Proposal, Department of Computer Science, Naval Postgraduate School, Monterey, CA, August 2010. [Dissertation Proposal] [Slides]

M.S. Theses

• Lt. Dimitrios Megas and Lcdr. Kleber Leandro Pizolato Someira. Data Transformation in a Three-Dimensional Integrated Circuit Implementation. M.S. Thesis, Department of Computer Science, Naval Postgraduate School, Monterey, CA, March 2012. [Thesis]
• LCDR Jay F. Elson. Methods for Trustworthy Design of On-Chip Bus Interconnect for General-Purpose Processors. M.S. Thesis, Department of Computer Science, Naval Postgraduate School, Monterey, CA, March 2012. [Thesis]

PI Meetings, Project Workshops, and Proposals

• Ted Huffmire, Ryan Kastner, Tim Sherwood, Cynthia Irvine, Tim Levin, and Jonathan Valamehr. 3D Security. Poster, Wednesday Poster Session, NSF Secure and Trustworthy Cyberspace (SaTC) Principal Investigators Meeting, National Harbor, MD, 28 November 2012. [Poster] [Meeting] [Final Report]
• 3Dsec Project Workshop. Room 327, Glasgow East, Department of Computer Science, Graduate School of Operational and Information Sciences (GSOIS), United States Naval Postgraduate School (NPS), Monterey, CA, 22 October 2012. [Agenda]
• 3Dsec Project Workshop. Room 2217, Computer Science and Engineering Building, Department of Computer Science and Engineering, Jacobs School of Engineering, UC San Diego, La Jolla, CA, 27 January 2012. [Agenda]
• 3Dsec Project Workshop. Loma Peloma Center, UC Santa Barbara, 28 January 2011. [Agenda]
• Ted Huffmire (PI), Cynthia Irvine (Co-PI), Timothy Sherwood (PI), and Ryan Kastner (PI). TC: Large: Collaborative Research: 3Dsec: Trustworthy System Security through 3-D Integrated Hardware. Grant Proposal, Proposal No. 0910734, Solicitation No. 08-578, Trustworthy Computing (TC) Program, Division of Computer and Network Systems (CNS), National Science Foundation (NSF), 25 November 2008. [Proposal]