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

Architecture for an embedded secure data base management system. - Cynthia E. Irvine; Roger R. Schell; Linda L. Vetter (ACSAC, 1990)

A multilevel file system for high assurance. - Cynthia E. Irvine (S&P, 1995)

Goals for Computer Security Education. - Cynthia E. Irvine (S&P, 1996)

A Sound Type System for Secure Flow Analysis. - Dennis M. Volpano; Cynthia E. Irvine; Geoffrey Smith 001 (J. Comput. Secur., 1996)

Security in Innovative New Operating Systems. - Cynthia E. Irvine (S&P, 1997)

Secure flow typing. - Dennis M. Volpano; Cynthia E. Irvine (Comput. Secur., 1997)

Security Architecture for a Virtual Heterogeneous Machine. - Roger Wright; David J. Shifflett; Cynthia E. Irvine (ACSAC, 1998)

Integrating Security into the Curriculum. - Cynthia E. Irvine; Shiu-Kai Chin; Deborah A. Frincke (Computer, 1998)

Information Security Education for the Next Millennium: Building the Next Generation of Practitioners (Forum). - Ron Ross; Cynthia E. Irvine; Charles Reynolds; Ravi S. Sandhu; Blaine Burnham; Rayford B. Vaughn (ACSAC, 1999)

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)

A Multi-Threading Architecture for Multilevel Secure Transaction Processing. - Haruna R. Isa; William R. Shockley; Cynthia E. Irvine (S&P, 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)

Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor. - John Scott Robin; Cynthia E. Irvine (USENIX Security Symposium, 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)

Cool security trends. - Dawson R. Engler; Cynthia E. Irvine; Trent Jaeger; David A. Wagner 001 (SACMAT, 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)

Teaching Constructive Security. - Cynthia E. Irvine (IEEE Secur. Priv., 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)

CyberCIEGE: Gaming for Information Assurance. - Cynthia E. Irvine; Michael F. Thompson; Ken Allen (IEEE Secur. Priv., 2005)

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

A study of initialization in Linux and OpenBSD. - Catherine Dodge; Cynthia E. Irvine; Thuy D. Nguyen (ACM SIGOPS Oper. Syst. 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)

Using Common Criteria Methodology to Express Informal Security Requirements. - Thuy D. Nguyen; Cynthia E. Irvine; Douglas R. Kane Jr. (ISSSE, 2006)

High Robustness Requirements in a Common Criteria Protection Profile. - Thuy D. Nguyen; Timothy E. Levin; Cynthia E. Irvine (IWIA, 2006)

Cyber Security Training and Awareness Through Game Play. - Benjamin D. Cone; Michael F. Thompson; Cynthia E. Irvine; Thuy D. Nguyen (SEC, 2006)

Utilizing the Common Criteria for Advanced Student Research Projects. - Thuy D. Nguyen; Cynthia E. Irvine (SEC, 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)

Trusted Hardware: Can It Be Trustworthy? - Cynthia E. Irvine; Karl N. Levitt (DAC, 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)

A video game for cyber security training and awareness. - Benjamin D. Cone; Cynthia E. Irvine; Michael F. Thompson; Thuy D. Nguyen (Comput. Secur., 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)

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)

A Tale of Three Cyber-Defense Workshops. - O. Sami Saydjari; Cynthia E. Irvine (IEEE Secur. Priv., 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)

New Pathways in Identity Management. - Paul C. Clark; Glenn R. Cook; Edward L. Fisher; John D. Fulp; Valerie Linhoff; Cynthia E. Irvine (IEEE Secur. Priv., 2010)

Educating the Systems Security Engineer's Apprentice. - Cynthia E. Irvine; Thuy D. Nguyen (IEEE Secur. Priv., 2010)

Call in the Cyber National Guard! - Cynthia E. Irvine; Charles C. Palmer (IEEE Secur. Priv., 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)

Active Learning with the CyberCIEGE Video Game. - Michael F. Thompson; Cynthia E. Irvine (CSET, 2011)

The Value of Capture-the-Flag Exercises in Education: An Interview with Chris Eagle. - Cynthia E. Irvine (IEEE Secur. Priv., 2011)

Guest Editors' Introduction: Engineering Secure Systems. - Cynthia E. Irvine; Josyula R. Rao (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)

Guest Editors' Introduction. - Shari Lawrence Pfleeger; Cynthia E. Irvine; Mischel Kwon (IEEE Secur. Priv., 2012)

Towards a Cross-Domain MapReduce Framework. - Thuy D. Nguyen; Mark A. Gondree; Jean Khosalim; Cynthia E. Irvine (MILCOM, 2013)

A Cyberoperations Program. - Cynthia E. Irvine (IEEE Secur. Priv., 2013)

Help! Is There a Trustworthy-Systems Doctor in the House? - Alec Yasinsac; Cynthia E. Irvine (IEEE Secur. Priv., 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)

CyberCIEGE Scenario Design and Implementation. - Michael F. Thompson; Cynthia E. Irvine (3GSE, 2014)

Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores. - Thuy D. Nguyen; Mark A. Gondree; Jean Khosalim; Cynthia E. Irvine (ESSoS, 2015)

Live Lesson: Labtainers: A Docker-based Framework for Cybersecurity Labs. - Cynthia E. Irvine; Michael F. Thompson; Michael McCarrin; Jean Khosalim (ASE @ USENIX Security Symposium, 2017)

Individualizing Cybersecurity Lab Exercises with Labtainers. - Michael F. Thompson; Cynthia E. Irvine (IEEE Secur. Priv., 2018)

A Strategy for Security Testing Industrial Firewalls. - Thuy D. Nguyen; Steve C. Austin; Cynthia E. Irvine (ICSS, 2019)

Representativeness in the Benchmark for Vulnerability Analysis Tools (B-VAT). - Kayla Afanador; Cynthia E. Irvine (CSET @ USENIX Security Symposium, 2020)

Peering Under the Hull: Enhanced Decision Making via an Augmented Environment. - Matthew Timmerman; Amela Sadagic; Cynthia E. Irvine (VR, 2020)

Increasing Log Availability in Unmanned Vehicle Systems. - Nickolas Carter; Peter Pommer; Duane T. Davis; Cynthia E. Irvine (NCS, 2021)

Labtainers Cyber Exercises: Building and Deploying Fully Provisioned Cyber Labs that Run on a Laptop. - Michael Thompson; Cynthia E. Irvine (SIGCSE, 2021)

Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix. - Nickolas Carter; Duane Davis; Cynthia E. Irvine; Peter Pommer (HICSS, 2023)

ODSS: A Ghidra-based Static Analysis Tool for Detecting Stack-Based Buffer Overflows. - Eric Wikman; Thuy D. Nguyen; Cynthia E. Irvine (HICSS, 2023)