![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Cynthia E. Irvine
Person information
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [c63]Nickolas Carter, Duane Davis, Cynthia E. Irvine, Peter Pommer:
Verification of a Distributed Ledger Protocol for Distributed Autonomous Systems Using Monterey Phoenix. HICSS 2023: 6716-6725 - [c62]Eric Wikman, Thuy D. Nguyen, Cynthia E. Irvine:
ODSS: A Ghidra-based Static Analysis Tool for Detecting Stack-Based Buffer Overflows. HICSS 2023: 6726-6735 - 2021
- [c61]Nickolas Carter, Peter Pommer, Duane T. Davis, Cynthia E. Irvine:
Increasing Log Availability in Unmanned Vehicle Systems. NCS 2021: 93-109 - [c60]Michael Thompson, Cynthia E. Irvine:
Labtainers Cyber Exercises: Building and Deploying Fully Provisioned Cyber Labs that Run on a Laptop. SIGCSE 2021: 1353 - 2020
- [c59]Kayla Afanador, Cynthia E. Irvine:
Representativeness in the Benchmark for Vulnerability Analysis Tools (B-VAT). CSET @ USENIX Security Symposium 2020 - [c58]Matthew Timmerman, Amela Sadagic
, Cynthia E. Irvine:
Peering Under the Hull: Enhanced Decision Making via an Augmented Environment. VR 2020: 704-712
2010 – 2019
- 2019
- [c57]Thuy D. Nguyen, Steve C. Austin, Cynthia E. Irvine:
A Strategy for Security Testing Industrial Firewalls. ICSS 2019: 38-47 - 2018
- [j23]Michael F. Thompson, Cynthia E. Irvine:
Individualizing Cybersecurity Lab Exercises with Labtainers. IEEE Secur. Priv. 16(2): 91-95 (2018) - 2017
- [c56]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 - 2015
- [c55]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: 86-101 - 2014
- [c54]Michael F. Thompson, Cynthia E. Irvine:
CyberCIEGE Scenario Design and Implementation. 3GSE 2014 - 2013
- [j22]Alec Yasinsac, Cynthia E. Irvine:
Help! Is There a Trustworthy-Systems Doctor in the House? IEEE Secur. Priv. 11(1): 73-77 (2013) - [j21]Cynthia E. Irvine:
A Cyberoperations Program. IEEE Secur. Priv. 11(5): 66-69 (2013) - [j20]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): 611-615 (2013) - [c53]Thuy D. Nguyen, Mark A. Gondree, Jean Khosalim, Cynthia E. Irvine:
Towards a Cross-Domain MapReduce Framework. MILCOM 2013: 1436-1441 - 2012
- [j19]Shari Lawrence Pfleeger, Cynthia E. Irvine, Mischel Kwon:
Guest Editors' Introduction. IEEE Secur. Priv. 10(2): 19-23 (2012) - [c52]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: 364-382 - [c51]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: 49-54 - 2011
- [j18]Cynthia E. Irvine, Josyula R. Rao:
Guest Editors' Introduction: Engineering Secure Systems. IEEE Secur. Priv. 9(1): 18-21 (2011) - [j17]Cynthia E. Irvine:
The Value of Capture-the-Flag Exercises in Education: An Interview with Chris Eagle. IEEE Secur. Priv. 9(6): 58-60 (2011) - [c50]Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin:
Security Checkers: Detecting processor malicious inclusions at runtime. HOST 2011: 34-39 - [c49]Michael F. Thompson, Cynthia E. Irvine:
Active Learning with the CyberCIEGE Video Game. CSET 2011 - 2010
- [j16]Cynthia E. Irvine, Charles C. Palmer:
Call in the Cyber National Guard! IEEE Secur. Priv. 8(1): 56-59 (2010) - [j15]Cynthia E. Irvine, Thuy D. Nguyen:
Educating the Systems Security Engineer's Apprentice. IEEE Secur. Priv. 8(4): 58-61 (2010) - [j14]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): 64-67 (2010) - [j13]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): 10:1-10:35 (2010) - [c48]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: 199-210 - [c47]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: 1
2000 – 2009
- 2009
- [j12]O. Sami Saydjari, Cynthia E. Irvine:
A Tale of Three Cyber-Defense Workshops. IEEE Secur. Priv. 7(6): 60-64 (2009) - [c46]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: 39-48 - [c45]Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara:
Idea: Trusted Emergency Management. ESSoS 2009: 32-36 - [c44]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: 133-152 - 2008
- [j11]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): 590-598 (2008) - [c43]Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine:
An Ontological Approach to Secure MANET Management. ARES 2008: 787-794 - [c42]Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen:
A security architecture for transient trust. CSAW 2008: 1-8 - [c41]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: 91-92 - [c40]Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS 2008 - [c39]Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin:
A security domain model to assess software for exploitable covert channels. PLAS 2008: 45-56 - 2007
- [j10]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): 63-72 (2007) - [c38]Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin:
Toward a Medium-Robustness Separation Kernel Protection Profile. ACSAC 2007: 40-51 - [c37]Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen:
Analysis of three multilevel security architectures. CSAW 2007: 37-46 - [c36]Cynthia E. Irvine, Karl N. Levitt:
Trusted Hardware: Can It Be Trustworthy? DAC 2007: 1-4 - [c35]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. S&P 2007: 281-295 - 2006
- [j9]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): 281-296 (2006) - [c34]Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen:
A Model for Temporal Interval Authorizations. HICSS 2006 - [c33]Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen:
Least Privilege in Separation Kernels. ICETE (Selected Papers) 2006: 146-157 - [c32]Thuy D. Nguyen, Cynthia E. Irvine, Douglas R. Kane Jr.:
Using Common Criteria Methodology to Express Informal Security Requirements. ISSSE 2006 - [c31]Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine:
High Robustness Requirements in a Common Criteria Protection Profile. IWIA 2006: 66-78 - [c30]Thuy D. Nguyen, Cynthia E. Irvine:
Utilizing the Common Criteria for Advanced Student Research Projects. SEC 2006: 317-328 - [c29]Benjamin D. Cone, Michael F. Thompson, Cynthia E. Irvine, Thuy D. Nguyen:
Cyber Security Training and Awareness Through Game Play. SEC 2006: 431-436 - [c28]Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen:
Least Privilege in Separation Kernels. SECRYPT 2006: 355-362 - 2005
- [j8]Cynthia E. Irvine, Michael F. Thompson, Ken Allen:
CyberCIEGE: Gaming for Information Assurance. IEEE Secur. Priv. 3(3): 61-64 (2005) - [j7]Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine:
TCX project: high assurance for secure embedded systems. SIGBED Rev. 2(2): 23-26 (2005) - [j6]Catherine Dodge, Cynthia E. Irvine, Thuy D. Nguyen:
A study of initialization in Linux and OpenBSD. ACM SIGOPS Oper. Syst. Rev. 39(2): 79-93 (2005) - [c27]Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen:
Foundation for a Time Interval Access Control Model. MMM-ACNS 2005: 406-411 - 2004
- [c26]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: 173-180 - 2003
- [j5]Cynthia E. Irvine:
Teaching Constructive Security. IEEE Secur. Priv. 1(6): 59-61 (2003) - [c25]Raj Mohan, Timothy E. Levin, Cynthia E. Irvine:
An Editor for Adaptive XML-Based Policy Management of IPsec. ACSAC 2003: 276-285 - [c24]Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt:
MYSEA Technology Demonstration. DISCEX (2) 2003: 10-12 - [c23]Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt:
Monterey Security Enhanced Architecture Project. DISCEX (2) 2003: 176-181 - [c22]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: 131-149 - [e1]Cynthia E. Irvine, Helen L. Armstrong:
Security Education and Critical Infrastructures, IFIP TC11 / WG11.8 Third Annual World Conference on Information Security Education (WISE3), June 26-28, 2003, Monterey, California, USA. IFIP Conference Proceedings 253, Kluwer 2003, ISBN 1-4020-7478-6 [contents] - 2002
- [j4]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): 192-206 (2002) - [c21]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: 35-42 - [c20]Dawson R. Engler, Cynthia E. Irvine, Trent Jaeger, David A. Wagner:
Cool security trends. SACMAT 2002: 53 - 2001
- [c19]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: 87- - [c18]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: 84 - [c17]Cynthia E. Irvine, Timothy E. Levin:
A cautionary note regarding the data integrity capacity of certain secure systems. IICIS 2001: 3-26 - 2000
- [c16]E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine:
Calculating Costs for Quality of Security Service. ACSAC 2000: 334-343 - [c15]Cynthia E. Irvine, Timothy E. Levin:
Toward Quality of Security Service in a Resource Management System Benefit Function. Heterogeneous Computing Workshop 2000: 133-139 - [c14]Cynthia E. Irvine, Timothy E. Levin:
Quality of security service. NSPW 2000: 91-99 - [c13]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: 18-27 - [c12]Cynthia E. Irvine, Timothy E. Levin:
Is Electronic Privacy Achievable? S&P 2000: 76-77 - [c11]John Scott Robin, Cynthia E. Irvine:
Analysis of the Intel Pentium's Ability to Support a Secure Virtual Machine Monitor. USENIX Security Symposium 2000
1990 – 1999
- 1999
- [c10]Cynthia E. Irvine, Timothy E. Levin:
Toward a Taxonomy and Costing Method for Security Services. ACSAC 1999: 183-188 - [c9]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: 265- - [c8]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: 184-198 - [c7]Haruna R. Isa, William R. Shockley, Cynthia E. Irvine:
A Multi-Threading Architecture for Multilevel Secure Transaction Processing. S&P 1999: 166-180 - 1998
- [j3]Cynthia E. Irvine, Shiu-Kai Chin, Deborah A. Frincke:
Integrating Security into the Curriculum. Computer 31(12): 25-30 (1998) - [c6]Roger Wright, David J. Shifflett, Cynthia E. Irvine:
Security Architecture for a Virtual Heterogeneous Machine. ACSAC 1998: 167-177 - 1997
- [j2]Dennis M. Volpano, Cynthia E. Irvine:
Secure flow typing. Comput. Secur. 16(2): 137-144 (1997) - [c5]Cynthia E. Irvine:
Security in Innovative New Operating Systems. S&P 1997: 202-203 - 1996
- [j1]Dennis M. Volpano, Cynthia E. Irvine, Geoffrey Smith:
A Sound Type System for Secure Flow Analysis. J. Comput. Secur. 4(2/3): 167-188 (1996) - [c4]Cynthia E. Irvine:
Goals for Computer Security Education. S&P 1996: 24-25 - 1995
- [c3]Cynthia E. Irvine:
A multilevel file system for high assurance. S&P 1995: 78-87 - 1990
- [c2]Cynthia E. Irvine, Roger R. Schell, Linda L. Vetter:
Architecture for an embedded secure data base management system. ACSAC 1990: 125-136
1980 – 1989
- 1989
- [c1]Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine:
A Formal Model for UNIX Setuid. S&P 1989: 73-83
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-15 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint