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
1492001
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
1322011
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
1282007
Toward a taxonomy and costing method for security services
C Irvine, T Levin
Proceedings 15th Annual Computer Security Applications Conference (ACSAC'99 …, 1999
1261999
Handbook of FPGA design security
T Huffmire, C Irvine, TD Nguyen, T Levin, R Kastner, T Sherwood
Springer Science & Business Media, 2010
782010
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
742013
The trusted computing exemplar project
CE Irvine, TE Levin, TD Nguyen, GW Dinolt
Proceedings from the Fifth Annual IEEE SMC Information Assurance Workshop …, 2004
632004
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
612008
Calculating costs for quality of security service
E Spyropoulou, T Levin, C Irvine
Proceedings 16th Annual Computer Security Applications Conference (ACSAC'00 …, 2000
582000
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
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
452000
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
422005
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
342004
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
302012
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
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
292010
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
282010
IPsec modulation for quality of security service
E Spyropoulou, C Agar, T Levin, C Irvine
NAVAL POSTGRADUATE SCHOOL MONTEREY CA DEPT OF COMPUTER SCIENCE, 2003
282003
The system can't perform the operation now. Try again later.
Articles 1–20