Follow
Timothy E. Levin
Timothy E. Levin
Naval Postgraduate School
Verified email at pacbell.net - Homepage
Title
Cited by
Cited by
Year
Moats and drawbridges: An isolation primitive for reconfigurable hardware based systems
T Huffmire, B Brotherton, G Wang, T Sherwood, R Kastner, T Levin, ...
2007 IEEE Symposium on Security and Privacy (SP'07), 281-295, 2007
1572007
Quality of security service
C Irvine, T Levin
Proceedings of the 2000 workshop on New security paradigms, 91-99, 2001
1552001
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security
M Tiwari, JK Oberg, X Li, J Valamehr, T Levin, B Hardekopf, R Kastner, ...
ACM SIGARCH Computer Architecture News 39 (3), 189-200, 2011
1492011
Toward a taxonomy and costing method for security services
C Irvine, T Levin
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99 …, 1999
1321999
Handbook of FPGA design security
T Huffmire, C Irvine, TD Nguyen, T Levin, R Kastner, T Sherwood
Springer Science & Business Media, 2010
922010
A 3-D split manufacturing approach to trustworthy system development
J Valamehr, T Sherwood, R Kastner, D Marangoni-Simonsen, T Huffmire, ...
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2013
822013
Managing security in FPGA-based embedded systems
T Huffmire, B Brotherton, T Sherwood, R Kastner, T Levin, TD Nguyen, ...
IEEE Design & Test of Computers 25 (6), 590-598, 2008
752008
The trusted computing exemplar project
CE Irvine, TE Levin, TD Nguyen, GW Dinolt
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
652004
Calculating costs for quality of security service
E Spyropoulou, T Levin, C Irvine
Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000
632000
Overview of a high assurance architecture for distributed multilevel security
CE Irvine, TE Levin, TD Nguyen, D Shifflett, J Khosalim, PC Clark, A Wong, ...
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
552004
Design principles for security
TV Benzel, CE Irvine, TE Levin, TD Nguyen, PC Clark, G Bhaskare
Monterey, California. Naval Postgraduate School, 2005
472005
Toward quality of security service in a resource management system benefit function
CE Irvine, TE Levin
Proceedings 9th Heterogeneous Computing Workshop (HCW 2000)(Cat. No. PR00556 …, 2000
462000
Analysis of three multilevel security architectures
TE Levin, CE Irvine, C Weissman, TD Nguyen
Proceedings of the 2007 ACM workshop on Computer security architecture, 37-46, 2007
452007
Least privilege in separation kernels
TE Levin, CE Irvine, TD Nguyen
E-Business and Telecommunication Networks: Third International Conference …, 2008
402008
Hardware assistance for trustworthy systems through 3-D integration
J Valamehr, M Tiwari, T Sherwood, R Kastner, T Huffmire, C Irvine, ...
Proceedings of the 26th Annual Computer Security Applications Conference …, 2010
322010
A cloud-oriented cross-domain security architecture
TD Nguyen, MA Gondree, DJ Shifflett, J Khosalim, TE Levin, CE Irvine
2010-MILCOM 2010 MILITARY COMMUNICATIONS CONFERENCE, 441-447, 2010
322010
A least privilege model for static separation kernels
TE Levin, CE Irvine, TD Nguyen
Naval Postgraduate School, 2005
322005
Enforcing memory policy specifications in reconfigurable hardware
T Huffmire, T Sherwood, R Kastner, T Levin
computers & security 27 (5-6), 197-215, 2008
312008
A security domain model to assess software for exploitable covert channels
AB Shaffer, M Auguston, CE Irvine, TE Levin
Proceedings of the third ACM SIGPLAN workshop on Programming languages and …, 2008
312008
A qualitative security analysis of a new class of 3-D integrated crypto co-processors
J Valamehr, T Huffmire, C Irvine, R Kastner, ÇK Koç, T Levin, T Sherwood
Cryptography and Security: From Theory to Applications: Essays Dedicated to …, 2012
302012
The system can't perform the operation now. Try again later.
Articles 1–20