Resources
- 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), to appear (accepted).
- 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.
- 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]
- 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]
- Lt. Dimitrios Megas and Lcdr. Kleber Leandro Pizolato Someira. Data Transformation in a Three-Dimensional Integrated Circuit Implementation. M.S. Thesis, Naval Postgraduate School, Monterey, CA, March 2012. [Thesis]
- CDR Michael Bilzor. Defining and Enforcing Hardware Security Requirements. PhD Dissertation, Naval Postgraduate School, Monterey, CA, December 2011. [Dissertation]
- 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]
- Mohit Tiwari, Jason K. Oberg, Xun Li, Jonathan Valamehr, Timothy Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, and Timothy Sherwood. Crafting a Usable Microkernel Processor and I/O System with Strict and Provable Information Flow Security. Proceedings of the International Symposium on Computer Architecture (ISCA), San Jose, CA, USA, June 2011, pp. 189-199. [Paper] [Conference]
- 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. [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]
- 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]
- 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]
