Timothy E. Levin

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. on CAD of Integrated Circuits and Systems 32(4): 611-615 (2013)

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

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

Clark Weissman, Timothy E. Levin: Lessons Learned from Building a High-Assurance Crypto Gateway. IEEE Security & Privacy 9(1): 31-39 (2011)

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

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

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. TRETS 3(2): 10 (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: 199-210

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

Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark Gondree: MYSEA: the monterey security architecture. STC 2009: 39-48

Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara: Idea: Trusted Emergency Management. ESSoS 2009: 32-36

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

Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin: Enforcing memory policy specifications in reconfigurable hardware. Computers & Security 27(5-6): 197-215 (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 Design & Test of Computers 25(6): 590-598 (2008)

Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine: An Ontological Approach to Secure MANET Management. ARES 2008: 787-794

Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen: A security architecture for transient trust. CSAW 2008: 1-8

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

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

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

Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen: Analysis of three multilevel security architectures. CSAW 2007: 37-46

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: 281-295

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. Cluster Computing 9(3): 281-296 (2006)

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

Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine: High Robustness Requirements in a Common Criteria Protection Profile. IWIA 2006: 66-78

Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen: Least Privilege in Separation Kernels. SECRYPT 2006: 355-362

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

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

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

Raj Mohan, Timothy E. Levin, Cynthia E. Irvine: An Editor for Adaptive XML-Based Policy Management of IPsec. ACSAC 2003: 276-285

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

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

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

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)

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

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-

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

Cynthia E. Irvine, Timothy E. Levin: A cautionary note regarding the data integrity capacity of certain secure systems. IICIS 2001: 3-26

E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine: Calculating Costs for Quality of Security Service. ACSAC 2000: 334-343

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

Cynthia E. Irvine, Timothy E. Levin: Quality of security service. NSPW 2000: 91-99

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

Cynthia E. Irvine, Timothy E. Levin: Is Electronic Privacy Achievable? IEEE Symposium on Security and Privacy 2000: 76-77

Cynthia E. Irvine, Timothy E. Levin: Toward a Taxonomy and Costing Method for Security Services. ACSAC 1999: 183-188

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

Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine: A Formal Model for UNIX Setuid. IEEE Symposium on Security and Privacy 1989: 73-83