Timothy E. Levin

Publication Activity (10 Years)

Years Active: 1989-2013
Publications (10 Years): 0

Top Topics

Security Analysis

Mass Customization

Image Encryption

Top Venues

Cryptography and Security

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

Publications

Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
A 3-D Split Manufacturing Approach to Trustworthy System Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 32 (4) (2013)
Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage. HOST (2012)
Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood
A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors. Cryptography and Security (2012)
Clark Weissman, Timothy E. Levin
Lessons Learned from Building a High-Assurance Crypto Gateway. IEEE Secur. Priv. 9 (1) (2011)
Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA (2011)
Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
Security Checkers: Detecting processor malicious inclusions at runtime. HOST (2011)
Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
Hardware trust implications of 3-D integration. WESS (2010)
Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
Hardware assistance for trustworthy systems through 3-D integration. ACSAC (2010)
Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner
Security Primitives for Reconfigurable Hardware-Based Systems. ACM Trans. Reconfigurable Technol. Syst. 3 (2) (2010)
Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara
Idea: Trusted Emergency Management. ESSoS (2009)
Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhaskara, Thuy D. Nguyen, Paul C. Clark, Ruby B. Lee, Cynthia E. Irvine, Terry Benzel
Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture. TRUST (2009)
Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark A. Gondree
MYSEA: the monterey security architecture. STC (2009)
Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin
Enforcing memory policy specifications in reconfigurable hardware. Comput. Secur. 27 (5-6) (2008)
Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
Trustworthy System Security through 3-D Integrated Hardware. HOST (2008)
Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen
A security architecture for transient trust. CSAW (2008)
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS (2008)
Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
A security domain model to assess software for exploitable covert channels. PLAS (2008)
Ted Huffmire, Brett Brotherton, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
Managing Security in FPGA-Based Embedded Systems. IEEE Des. Test Comput. 25 (6) (2008)
Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine
An Ontological Approach to Secure MANET Management. ARES (2008)
Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin
Toward a Medium-Robustness Separation Kernel Protection Profile. ACSAC (2007)
Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems. IEEE Symposium on Security and Privacy (2007)
Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen
Analysis of three multilevel security architectures. CSAW (2007)
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine
High Robustness Requirements in a Common Criteria Protection Profile. IWIA (2006)
Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
Least Privilege in Separation Kernels. ICETE (Selected Papers) (2006)
Jong-Kook Kim, Debra A. Hensgen, Taylor Kidd, Howard Jay Siegel, David St. John, Cynthia E. Irvine, Timothy E. Levin, N. Wayne Porter, Viktor K. Prasanna, Richard F. Freund
A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems. Clust. Comput. 9 (3) (2006)
Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
A Model for Temporal Interval Authorizations. HICSS (2006)
Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
Least Privilege in Separation Kernels. SECRYPT (2006)
Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
Foundation for a Time Interval Access Control Model. MMM-ACNS (2005)
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine
TCX project: high assurance for secure embedded systems. SIGBED Rev. 2 (2) (2005)
Cynthia E. Irvine, Timothy E. Levin
A Doctoral Program with Specialization in Information Security: A High Assurance Constructive Security Approach. International Information Security Workshops (2004)
Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke
A Program for Education in Certification and Accreditation. World Conference on Information Security Education (2003)
Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
Monterey Security Enhanced Architecture Project. DISCEX (2) (2003)
Raj Mohan, Timothy E. Levin, Cynthia E. Irvine
An Editor for Adaptive XML-Based Policy Management of IPsec. ACSAC (2003)
Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
MYSEA Technology Demonstration. DISCEX (2) (2003)
Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira
An Approach to Security Requirements Engineering for a High Assurance System. Requir. Eng. 7 (4) (2002)
Geoffrey G. Xie, Cynthia E. Irvine, Timothy E. Levin
Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing. ICDCS Workshops (2002)
Cynthia E. Irvine, Timothy E. Levin
A cautionary note regarding the data integrity capacity of certain secure systems. IICIS (2001)
Cynthia E. Irvine, Timothy E. Levin, E. Spyropoulou, Bruce Allen
Security as a Dimension of Quality of Service in Active Service Environments. Active Middleware Services (2001)
Jong-Kook Kim, Taylor Kidd, Howard Jay Siegel, Cynthia E. Irvine, Timothy E. Levin, Debra A. Hensgen, David St. John, Viktor K. Prasanna, Richard F. Freund, N. Wayne Porter
Collective Value of QoS: A Performance Measure Framework for Distributed Heterogeneous Networks. IPDPS (2001)
Cynthia E. Irvine, Timothy E. Levin
Quality of security service. NSPW (2000)
Jong-Kook Kim, Debra A. Hensgen, Taylor Kidd, Howard Jay Siegel, David St. John, Cynthia E. Irvine, Timothy E. Levin, N. Wayne Porter, Viktor K. Prasanna, Richard F. Freund
A QoS performance measure framework for distributed heterogeneous networks. PDP (2000)
Cynthia E. Irvine, Timothy E. Levin
Is Electronic Privacy Achievable? IEEE Symposium on Security and Privacy (2000)
Cynthia E. Irvine, Timothy E. Levin
Toward Quality of Security Service in a Resource Management System Benefit Function. Heterogeneous Computing Workshop (2000)
E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine
Calculating Costs for Quality of Security Service. ACSAC (2000)
Debra A. Hensgen, Taylor Kidd, David St. John, Matthew C. Schnaidt, Howard Jay Siegel, Tracy D. Braun, Muthucumaru Maheswaran, Shoukat Ali, Jong-Kook Kim, Cynthia E. Irvine, Timothy E. Levin, Richard F. Freund, Matt Kussow, Michael W. Godfrey, Alpay Duman, Paul Carff, Shirley Kidd, Viktor K. Prasanna, Prashanth B. Bhat, Ammar H. Alhusaini
An Overview of MSHN: The Management System for Heterogeneous Networks. Heterogeneous Computing Workshop (1999)
Cynthia E. Irvine, Timothy E. Levin
Toward a Taxonomy and Costing Method for Security Services. ACSAC (1999)
Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine
A Formal Model for UNIX Setuid. IEEE Symposium on Security and Privacy (1989)