Timothy E. Levin

According to our database, Timothy E. Levin authored at least 46 papers between 1989 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2013

A 3-D Split Manufacturing Approach to Trustworthy System Development.

Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin

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

2012

Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage.

Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2012 IEEE International Symposium on Hardware-Oriented Security and Trust, 2012

A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors.

Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood

Proceedings of the Cryptography and Security: From Theory to Applications, 2012

2011

Lessons Learned from Building a High-Assurance Crypto Gateway.

Clark Weissman, Timothy E. Levin

IEEE Secur. Priv., 2011

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security.

Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood

Proceedings of the 38th International Symposium on Computer Architecture (ISCA 2011), 2011

Security Checkers: Detecting processor malicious inclusions at runtime.

Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the HOST 2011, 2011

2010

Security Primitives for Reconfigurable Hardware-Based Systems.

Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner

ACM Trans. Reconfigurable Technol. Syst., 2010

Hardware trust implications of 3-D integration.

Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner

Proceedings of the 5th Workshop on Embedded Systems Security, 2010

Hardware assistance for trustworthy systems through 3-D integration.

Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Twenty-Sixth Annual Computer Security Applications Conference, 2010

2009

Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture.

Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhaskara, Thuy D. Nguyen, Paul C. Clark, Ruby B. Lee, Cynthia E. Irvine, Terry Benzel

Proceedings of the Trusted Computing, 2009

Idea: Trusted Emergency Management.

Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara

Proceedings of the Engineering Secure Software and Systems, 2009

MYSEA: the monterey security architecture.

Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark A. Gondree

Proceedings of the 4th ACM Workshop on Scalable Trusted Computing, 2009

2008

Managing Security in FPGA-Based Embedded Systems.

Ted Huffmire, Brett Brotherton, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine

IEEE Des. Test Comput., 2008

Enforcing memory policy specifications in reconfigurable hardware.

Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin

Comput. Secur., 2008

A security domain model to assess software for exploitable covert channels.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security, 2008

A Security Domain Model for Implementing Trusted Subject Behaviors.

Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Workshop on Modeling Security ( MODSEC08 ) held as part of the 2008 International Conference on Model Driven Engineering Languages and Systems ( MODELS ) Toulouse, 2008

Trustworthy System Security through 3-D Integrated Hardware.

Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine

Proceedings of the IEEE International Workshop on Hardware-Oriented Security and Trust, 2008

A security architecture for transient trust.

Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen

Proceedings of the 2nd ACM Workshop on Computer Security Architecture, 2008

An Ontological Approach to Secure MANET Management.

Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine

Proceedings of the The Third International Conference on Availability, 2008

2007

Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems.

Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Analysis of three multilevel security architectures.

Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen

Proceedings of the 2007 ACM workshop on Computer Security Architecture, 2007

Toward a Medium-Robustness Separation Kernel Protection Profile.

Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 23rd Annual Computer Security Applications Conference (ACSAC 2007), 2007

2006

A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems.

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

Clust. Comput., 2006

Least Privilege in Separation Kernels.

Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen

Proceedings of the SECRYPT 2006, 2006

High Robustness Requirements in a Common Criteria Protection Profile.

Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine

Proceedings of the 4th IEEE International Workshop on Information Assurance (IWIA 2006), 2006

A Model for Temporal Interval Authorizations.

Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen

Proceedings of the 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), 2006

2005

TCX project: high assurance for secure embedded systems.

Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine

SIGBED Rev., 2005

Foundation for a Time Interval Access Control Model.

Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen

Proceedings of the Computer Network Security, 2005

2004

A Doctoral Program with Specialization in Information Security: A High Assurance Constructive Security Approach.

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Information Security Management, Education and Privacy, 2004

2003

A Program for Education in Certification and Accreditation.

Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke

Proceedings of the Security Education and Critical Infrastructures, 2003

Monterey Security Enhanced Architecture Project.

Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

MYSEA Technology Demonstration.

Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt

Proceedings of the 3rd DARPA Information Survivability Conference and Exposition (DISCEX-III 2003), 2003

An Editor for Adaptive XML-Based Policy Management of IPsec.

Raj Mohan, Timothy E. Levin, Cynthia E. Irvine

Proceedings of the 19th Annual Computer Security Applications Conference (ACSAC 2003), 2003

2002

An Approach to Security Requirements Engineering for a High Assurance System.

Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira

Requir. Eng., 2002

Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing.

Geoffrey G. Xie, Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 22nd International Conference on Distributed Computing Systems, 2002

2001

A cautionary note regarding the data integrity capacity of certain secure systems.

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the Integrity, 2001

Collective Value of QoS: A Performance Measure Framework for Distributed Heterogeneous Networks.

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

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Security as a Dimension of Quality of Service in Active Service Environments.

Cynthia E. Irvine, Timothy E. Levin, E. Spyropoulou, Bruce Allen

Proceedings of the 3rd Annual International Workshop on Active Middleware Services (AMS 2001), 2001

2000

Is Electronic Privacy Achievable?

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2000 IEEE Symposium on Security and Privacy, 2000

A QoS performance measure framework for distributed heterogeneous networks.

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

Proceedings of the Eight Euromicro Workshop on Parallel and Distributed Processing, 2000

Quality of security service.

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 2000 Workshop on New Security Paradigms, 2000

Toward Quality of Security Service in a Resource Management System Benefit Function.

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 9th Heterogeneous Computing Workshop, 2000

Calculating Costs for Quality of Security Service.

E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine

Proceedings of the 16th Annual Computer Security Applications Conference (ACSAC 2000), 2000

1999

An Overview of MSHN: The Management System for Heterogeneous Networks.

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

Proceedings of the 8th Heterogeneous Computing Workshop, 1999

Toward a Taxonomy and Costing Method for Security Services.

Cynthia E. Irvine, Timothy E. Levin

Proceedings of the 15th Annual Computer Security Applications Conference (ACSAC 1999), 1999

1989

A Formal Model for UNIX Setuid.

Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine

Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989