Timothy E. Levin
Timothy E. Levin
Naval Postgraduate School
Verified email at pacbell.net - Homepage
Title
Cited by
Cited by
Year
Quality of security service
C Irvine, T Levin
Proceedings of the 2000 workshop on New security paradigms, 91-99, 2001
1472001
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, ...
2011 38th Annual International Symposium on Computer Architecture (ISCA …, 2011
1262011
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
1252007
Toward a taxonomy and costing method for security services
C Irvine, T Levin
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99 …, 1999
1251999
Handbook of FPGA design security
T Huffmire, C Irvine, TD Nguyen, T Levin, R Kastner, T Sherwood
Springer Science & Business Media, 2010
772010
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
732013
The trusted computing exemplar project
CE Irvine, TE Levin, TD Nguyen, GW Dinolt
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
612004
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
592008
Calculating costs for quality of security service
E Spyropoulou, T Levin, C Irvine
Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000
562000
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
532004
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
432000
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
422007
Design principles for security
TV Benzel, CE Irvine, TE Levin, G Bhaskara, TD Nguyen, PC Clark
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE, 2005
412005
Least privilege in separation kernels
TE Levin, CE Irvine, TD Nguyen
International Conference on E-Business and Telecommunication Networks, 146-157, 2006
402006
A least privilege model for static separation kernels
TE Levin, CE Irvine, TD Nguyen
NAVAL POSTGRADUATE SCHOOL MONTEREY CA CENTER FOR INFORMATION SYSTEMS …, 2004
322004
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
302008
An ontological approach to secure MANET management
ME Orwat, TE Levin, CE Irvine
2008 Third International Conference on Availability, Reliability and …, 2008
302008
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, 364-382, 2012
292012
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
292010
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
282010
The system can't perform the operation now. Try again later.
Articles 1–20