A Formal Model for UNIX Setuid. - Timothy E. Levin; S. J. Padilla; Cynthia E. Irvine (S&P, 1989)

Toward a Taxonomy and Costing Method for Security Services. - Cynthia E. Irvine; Timothy E. Levin (ACSAC, 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; et al. (Heterogeneous Computing Workshop, 1999)

Calculating Costs for Quality of Security Service. - E. Spyropoulou; Timothy E. Levin; Cynthia E. Irvine (ACSAC, 2000)

Toward Quality of Security Service in a Resource Management System Benefit Function. - Cynthia E. Irvine; Timothy E. Levin (Heterogeneous Computing Workshop, 2000)

Quality of security service. - Cynthia E. Irvine; Timothy E. Levin (NSPW, 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 (PDP, 2000)

Is Electronic Privacy Achievable? - Cynthia E. Irvine; Timothy E. Levin (S&P, 2000)

Security as a Dimension of Quality of Service in Active Service Environments. - Cynthia E. Irvine; Timothy E. Levin; E. Spyropoulou; Bruce Allen (Active Middleware Services, 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 (IPDPS, 2001)

A cautionary note regarding the data integrity capacity of certain secure systems. - Cynthia E. Irvine; Timothy E. Levin (IICIS, 2001)

Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing. - Geoffrey G. Xie; Cynthia E. Irvine; Timothy E. Levin (ICDCS Workshops, 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)

An Editor for Adaptive XML-Based Policy Management of IPsec. - Raj Mohan; Timothy E. Levin; Cynthia E. Irvine (ACSAC, 2003)

MYSEA Technology Demonstration. - Cynthia E. Irvine; David J. Shifflett; Paul C. Clark; Timothy E. Levin; George W. Dinolt (DISCEX (2), 2003)

Monterey Security Enhanced Architecture Project. - Cynthia E. Irvine; David J. Shifflett; Paul C. Clark; Timothy E. Levin; George W. Dinolt (DISCEX (2), 2003)

A Program for Education in Certification and Accreditation. - Craig W. Rasmussen; Cynthia E. Irvine; George W. Dinolt; Timothy E. Levin; Karen L. Burke (World Conference on Information Security Education, 2003)

A Doctoral Program with Specialization in Information Security: A High Assurance Constructive Security Approach. - Cynthia E. Irvine; Timothy E. Levin (International Information Security Workshops, 2004)

Foundation for a Time Interval Access Control Model. - Francis B. Afinidad; Timothy E. Levin; Cynthia E. Irvine; Thuy D. Nguyen (MMM-ACNS, 2005)

TCX project: high assurance for secure embedded systems. - Thuy D. Nguyen; Timothy E. Levin; Cynthia E. Irvine (SIGBED Rev., 2005)

A Model for Temporal Interval Authorizations. - Francis B. Afinidad; Timothy E. Levin; Cynthia E. Irvine; Thuy D. Nguyen (HICSS, 2006)

Least Privilege in Separation Kernels. - Timothy E. Levin; Cynthia E. Irvine; Thuy D. Nguyen (ICETE (Selected Papers), 2006)

High Robustness Requirements in a Common Criteria Protection Profile. - Thuy D. Nguyen; Timothy E. Levin; Cynthia E. Irvine (IWIA, 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)

Toward a Medium-Robustness Separation Kernel Protection Profile. - Rance J. DeLong; Thuy D. Nguyen; Cynthia E. Irvine; Timothy E. Levin (ACSAC, 2007)

Analysis of three multilevel security architectures. - Timothy E. Levin; Cynthia E. Irvine; Clark Weissman; Thuy D. Nguyen (CSAW, 2007)

Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems. - Ted Huffmire; Brett Brotherton; Gang Wang 015; Timothy Sherwood; Ryan Kastner; Timothy E. Levin; Thuy D. Nguyen; Cynthia E. Irvine (S&P, 2007)

An Ontological Approach to Secure MANET Management. - Mark E. Orwat; Timothy E. Levin; Cynthia E. Irvine (ARES, 2008)

A security architecture for transient trust. - Cynthia E. Irvine; Timothy E. Levin; Paul C. Clark; Thuy D. Nguyen (CSAW, 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 (HOST, 2008)

A Security Domain Model for Implementing Trusted Subject Behaviors. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (MODSEC@MoDELS, 2008)

A security domain model to assess software for exploitable covert channels. - Alan B. Shaffer; Mikhail Auguston; Cynthia E. Irvine; Timothy E. Levin (PLAS, 2008)

Enforcing memory policy specifications in reconfigurable hardware. - Ted Huffmire; Timothy Sherwood; Ryan Kastner; Timothy E. Levin (Comput. Secur., 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)

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 (STC, 2009)

Idea: Trusted Emergency Management. - Timothy E. Levin; Cynthia E. Irvine; Terry Benzel; Thuy D. Nguyen; Paul C. Clark; Ganesha Bhaskara (ESSoS, 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 (TRUST, 2009)

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 (ACSAC, 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 (WESS, 2010)

Security Primitives for Reconfigurable Hardware-Based Systems. - Ted Huffmire; Timothy E. Levin; Thuy D. Nguyen; Cynthia E. Irvine; Brett Brotherton; Gang Wang 015; Timothy Sherwood; Ryan Kastner (ACM Trans. Reconfigurable Technol. Syst., 2010)

Security Checkers: Detecting processor malicious inclusions at runtime. - Michael Bilzor; Ted Huffmire; Cynthia E. Irvine; Timothy E. Levin (HOST, 2011)

Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. - Mohit Tiwari; Jason Oberg; Xun Li 001; Jonathan Valamehr; Timothy E. Levin; Ben Hardekopf; Ryan Kastner; Frederic T. Chong; Timothy Sherwood (ISCA, 2011)

Lessons Learned from Building a High-Assurance Crypto Gateway. - Clark Weissman; Timothy E. Levin (IEEE Secur. Priv., 2011)

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 (Cryptography and Security, 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 (HOST, 2012)

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)