Cynthia E. Irvine

Publication Activity (10 Years)

Years Active: 1989-2023
Publications (10 Years): 9

Top Topics

Database Architectures

Buffer Overflow

Autonomous Systems

Top Venues

CSET @ USENIX Security Symposium

Publications

Nickolas Carter, Duane Davis, Cynthia E. Irvine, Peter Pommer
Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix. HICSS (2023)
Eric Wikman, Thuy D. Nguyen, Cynthia E. Irvine
ODSS: A Ghidra-based Static Analysis Tool for Detecting Stack-Based Buffer Overflows. HICSS (2023)
Nickolas Carter, Peter Pommer, Duane T. Davis, Cynthia E. Irvine
Increasing Log Availability in Unmanned Vehicle Systems. NCS (2021)
Michael Thompson, Cynthia E. Irvine
Labtainers Cyber Exercises: Building and Deploying Fully Provisioned Cyber Labs that Run on a Laptop. SIGCSE (2021)
Kayla Afanador, Cynthia E. Irvine
Representativeness in the Benchmark for Vulnerability Analysis Tools (B-VAT). CSET @ USENIX Security Symposium (2020)
Matthew Timmerman, Amela Sadagic, Cynthia E. Irvine
Peering Under the Hull: Enhanced Decision Making via an Augmented Environment. VR (2020)
Thuy D. Nguyen, Steve C. Austin, Cynthia E. Irvine
A Strategy for Security Testing Industrial Firewalls. ICSS (2019)
Michael F. Thompson, Cynthia E. Irvine
Individualizing Cybersecurity Lab Exercises with Labtainers. IEEE Secur. Priv. 16 (2) (2018)
Cynthia E. Irvine, Michael F. Thompson, Michael McCarrin, Jean Khosalim
Live Lesson: Labtainers: A Docker-based Framework for Cybersecurity Labs. ASE @ USENIX Security Symposium (2017)
Thuy D. Nguyen, Mark A. Gondree, Jean Khosalim, Cynthia E. Irvine
Re-thinking Kernelized MLS Database Architectures in the Context of Cloud-Scale Data Stores. ESSoS (2015)
Michael F. Thompson, Cynthia E. Irvine
CyberCIEGE Scenario Design and Implementation. 3GSE (2014)
Alec Yasinsac, Cynthia E. Irvine
Help! Is There a Trustworthy-Systems Doctor in the House? IEEE Secur. Priv. 11 (1) (2013)
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)
Thuy D. Nguyen, Mark A. Gondree, Jean Khosalim, Cynthia E. Irvine
Towards a Cross-Domain MapReduce Framework. MILCOM (2013)
Cynthia E. Irvine
A Cyberoperations Program. IEEE Secur. Priv. 11 (5) (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)
Shari Lawrence Pfleeger, Cynthia E. Irvine, Mischel Kwon
Guest Editors' Introduction. IEEE Secur. Priv. 10 (2) (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)
Cynthia E. Irvine
The Value of Capture-the-Flag Exercises in Education: An Interview with Chris Eagle. IEEE Secur. Priv. 9 (6) (2011)
Michael F. Thompson, Cynthia E. Irvine
Active Learning with the CyberCIEGE Video Game. CSET (2011)
Cynthia E. Irvine, J. R. Rao
Guest Editors' Introduction: Engineering Secure Systems. IEEE Secur. Priv. 9 (1) (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)
Cynthia E. Irvine, Charles C. Palmer
Call in the Cyber National Guard! IEEE Secur. Priv. 8 (1) (2010)
Cynthia E. Irvine, Thuy D. Nguyen
Educating the Systems Security Engineer's Apprentice. IEEE Secur. Priv. 8 (4) (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)
Paul C. Clark, Glenn R. Cook, Edward L. Fisher, John D. Fulp, Valerie Linhoff, Cynthia E. Irvine
New Pathways in Identity Management. IEEE Secur. Priv. 8 (6) (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)
O. Sami Saydjari, Cynthia E. Irvine
A Tale of Three Cyber-Defense Workshops. IEEE Secur. Priv. 7 (6) (2009)
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)
Cynthia E. Irvine, Karl N. Levitt
Trusted Hardware: Can It Be Trustworthy? DAC (2007)
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)
Benjamin D. Cone, Cynthia E. Irvine, Michael F. Thompson, Thuy D. Nguyen
A video game for cyber security training and awareness. Comput. Secur. 26 (1) (2007)
Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine
High Robustness Requirements in a Common Criteria Protection Profile. IWIA (2006)
Thuy D. Nguyen, Cynthia E. Irvine, Douglas R. Kane Jr.
Using Common Criteria Methodology to Express Informal Security Requirements. ISSSE (2006)
Thuy D. Nguyen, Cynthia E. Irvine
Utilizing the Common Criteria for Advanced Student Research Projects. SEC (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)
Benjamin D. Cone, Michael F. Thompson, Cynthia E. Irvine, Thuy D. Nguyen
Cyber Security Training and Awareness Through Game Play. SEC (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)
Cynthia E. Irvine, Michael F. Thompson, Ken Allen
CyberCIEGE: Gaming for Information Assurance. IEEE Secur. Priv. 3 (3) (2005)
Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
Foundation for a Time Interval Access Control Model. MMM-ACNS (2005)
Catherine Dodge, Cynthia E. Irvine, Thuy D. Nguyen
A study of initialization in Linux and OpenBSD. ACM SIGOPS Oper. Syst. Rev. 39 (2) (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
Teaching Constructive Security. IEEE Secur. Priv. 1 (6) (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)
Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner
Cool security trends. SACMAT (2002)
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)
John Scott Robin, Cynthia E. Irvine
Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor. USENIX Security Symposium (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)
Haruna R. Isa, William R. Shockley, Cynthia E. Irvine
A Multi-Threading Architecture for Multilevel Secure Transaction Processing. IEEE Symposium on Security and Privacy (1999)
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)
Ron Ross, Cynthia E. Irvine, Charles Reynolds, Ravi S. Sandhu, Blaine Burnham, Rayford B. Vaughn
Information Security Education for the Next Millennium: Building the Next Generation of Practitioners (Forum). ACSAC (1999)
Cynthia E. Irvine, Shiu-Kai Chin, Deborah A. Frincke
Integrating Security into the Curriculum. Computer 31 (12) (1998)
Roger Wright, David J. Shifflett, Cynthia E. Irvine
Security Architecture for a Virtual Heterogeneous Machine. ACSAC (1998)
Dennis M. Volpano, Cynthia E. Irvine
Secure flow typing. Comput. Secur. 16 (2) (1997)
Cynthia E. Irvine
Security in Innovative New Operating Systems. IEEE Symposium on Security and Privacy (1997)
Cynthia E. Irvine
Goals for Computer Security Education. IEEE Symposium on Security and Privacy (1996)
Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith
A Sound Type System for Secure Flow Analysis. J. Comput. Secur. 4 (2/3) (1996)
Cynthia E. Irvine
A multilevel file system for high assurance. IEEE Symposium on Security and Privacy (1995)
Cynthia E. Irvine, Roger R. Schell, Linda L. Vetter
Architecture for an embedded secure data base management system. ACSAC (1990)
Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine
A Formal Model for UNIX Setuid. IEEE Symposium on Security and Privacy (1989)