Timothy E. Levin

47 papers A* 1A 6B 1C 3Journal 8Unranked 28

Year	Rank	Type	Title / Venue / Authors
2013	J	`jnl`	A 3-D Split Manufacturing Approach to Trustworthy System Development. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, David Marangoni-Simonsen, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2012	—	`conf`	A Qualitative Security Analysis of a New Class of 3-D Integrated Crypto Co-processors. Cryptography and Security Jonathan Valamehr, Ted Huffmire, Cynthia E. Irvine, Ryan Kastner, Çetin Kaya Koç, Timothy E. Levin, Timothy Sherwood
2012	—	`conf`	Evaluating security requirements in a general-purpose processor by combining assertion checkers with code coverage. HOST Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2011	A*	`conf`	Crafting a usable microkernel, processor, and I/O system with strict and provable information flow security. ISCA Mohit Tiwari, Jason Oberg, Xun Li, Jonathan Valamehr, Timothy E. Levin, Ben Hardekopf, Ryan Kastner, Frederic T. Chong, Timothy Sherwood
2011	J	`jnl`	Lessons Learned from Building a High-Assurance Crypto Gateway. IEEE Secur. Priv. Clark Weissman, Timothy E. Levin
2011	—	`conf`	Security Checkers: Detecting processor malicious inclusions at runtime. HOST Michael Bilzor, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2010	A	`conf`	Hardware assistance for trustworthy systems through 3-D integration. ACSAC Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner, Ted Huffmire, Cynthia E. Irvine, Timothy E. Levin
2010	—	`conf`	Hardware trust implications of 3-D integration. WESS Ted Huffmire, Timothy E. Levin, Michael Bilzor, Cynthia E. Irvine, Jonathan Valamehr, Mohit Tiwari, Timothy Sherwood, Ryan Kastner
2010	J	`jnl`	Security Primitives for Reconfigurable Hardware-Based Systems. ACM Trans. Reconfigurable Technol. Syst. Ted Huffmire, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner
2009	—	`conf`	Idea: Trusted Emergency Management. ESSoS Timothy E. Levin, Cynthia E. Irvine, Terry Benzel, Thuy D. Nguyen, Paul C. Clark, Ganesha Bhaskara
2009	—	`conf`	MYSEA: the monterey security architecture. STC Cynthia E. Irvine, Thuy D. Nguyen, David J. Shifflett, Timothy E. Levin, Jean Khosalim, Charles Prince, Paul C. Clark, Mark A. Gondree
2009	—	`conf`	Securing the Dissemination of Emergency Response Data with an Integrated Hardware-Software Architecture. TRUST Timothy E. Levin, Jeffrey S. Dwoskin, Ganesha Bhaskara, Thuy D. Nguyen, Paul C. Clark, Ruby B. Lee, Cynthia E. Irvine, Terry Benzel
2008	—	`conf`	A Security Domain Model for Implementing Trusted Subject Behaviors. MODSEC@MoDELS Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
2008	—	`conf`	A security architecture for transient trust. CSAW Cynthia E. Irvine, Timothy E. Levin, Paul C. Clark, Thuy D. Nguyen
2008	—	`conf`	A security domain model to assess software for exploitable covert channels. PLAS Alan B. Shaffer, Mikhail Auguston, Cynthia E. Irvine, Timothy E. Levin
2008	B	`conf`	An Ontological Approach to Secure MANET Management. ARES Mark E. Orwat, Timothy E. Levin, Cynthia E. Irvine
2008	J	`jnl`	Enforcing memory policy specifications in reconfigurable hardware. Comput. Secur. Ted Huffmire, Timothy Sherwood, Ryan Kastner, Timothy E. Levin
2008	J	`jnl`	Managing Security in FPGA-Based Embedded Systems. IEEE Des. Test Comput. Ted Huffmire, Brett Brotherton, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
2008	—	`conf`	Trustworthy System Security through 3-D Integrated Hardware. HOST Ted Huffmire, Jonathan Valamehr, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
2007	—	`conf`	Analysis of three multilevel security architectures. CSAW Timothy E. Levin, Cynthia E. Irvine, Clark Weissman, Thuy D. Nguyen
2007	—	`conf`	Moats and Drawbridges: An Isolation Primitive for Reconfigurable Hardware Based Systems. S&P Ted Huffmire, Brett Brotherton, Gang Wang, Timothy Sherwood, Ryan Kastner, Timothy E. Levin, Thuy D. Nguyen, Cynthia E. Irvine
2007	A	`conf`	Toward a Medium-Robustness Separation Kernel Protection Profile. ACSAC Rance J. DeLong, Thuy D. Nguyen, Cynthia E. Irvine, Timothy E. Levin
2006	—	`conf`	A Model for Temporal Interval Authorizations. HICSS Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
2006	J	`jnl`	A flexible multi-dimensional QoS performance measure framework for distributed heterogeneous systems. Clust. Comput. 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
2006	—	`conf`	High Robustness Requirements in a Common Criteria Protection Profile. IWIA Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine
2006	—	`conf`	Least Privilege in Separation Kernels. ICETE (Selected Papers) Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
2006	C	`conf`	Least Privilege in Separation Kernels. SECRYPT Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
2005	—	`conf`	Foundation for a Time Interval Access Control Model. MMM-ACNS Francis B. Afinidad, Timothy E. Levin, Cynthia E. Irvine, Thuy D. Nguyen
2005	J	`jnl`	TCX project: high assurance for secure embedded systems. SIGBED Rev. Thuy D. Nguyen, Timothy E. Levin, Cynthia E. Irvine
2004	—	`conf`	A Doctoral Program with Specialization in Information Security: A High Assurance Constructive Security Approach. International Information Security Workshops Cynthia E. Irvine, Timothy E. Levin
2003	—	`conf`	A Program for Education in Certification and Accreditation. World Conference on Information Security Education Craig W. Rasmussen, Cynthia E. Irvine, George W. Dinolt, Timothy E. Levin, Karen L. Burke
2003	A	`conf`	An Editor for Adaptive XML-Based Policy Management of IPsec. ACSAC Raj Mohan, Timothy E. Levin, Cynthia E. Irvine
2003	—	`conf`	MYSEA Technology Demonstration. DISCEX (2) Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
2003	—	`conf`	Monterey Security Enhanced Architecture Project. DISCEX (2) Cynthia E. Irvine, David J. Shifflett, Paul C. Clark, Timothy E. Levin, George W. Dinolt
2002	J	`jnl`	An Approach to Security Requirements Engineering for a High Assurance System. Requir. Eng. Cynthia E. Irvine, Timothy E. Levin, Jeffery D. Wilson, David J. Shifflett, Barbara Pereira
2002	—	`conf`	Quantifying Effect of Network Latency and Clock Drift on Time-Driven Key Sequencing. ICDCS Workshops Geoffrey G. Xie, Cynthia E. Irvine, Timothy E. Levin
2001	—	`conf`	A cautionary note regarding the data integrity capacity of certain secure systems. IICIS Cynthia E. Irvine, Timothy E. Levin
2001	A	`conf`	Collective Value of QoS: A Performance Measure Framework for Distributed Heterogeneous Networks. IPDPS 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
2001	—	`conf`	Security as a Dimension of Quality of Service in Active Service Environments. Active Middleware Services Cynthia E. Irvine, Timothy E. Levin, E. Spyropoulou, Bruce Allen
2000	C	`conf`	A QoS performance measure framework for distributed heterogeneous networks. PDP 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
2000	A	`conf`	Calculating Costs for Quality of Security Service. ACSAC E. Spyropoulou, Timothy E. Levin, Cynthia E. Irvine
2000	—	`conf`	Is Electronic Privacy Achievable? S&P Cynthia E. Irvine, Timothy E. Levin
2000	C	`conf`	Quality of security service. NSPW Cynthia E. Irvine, Timothy E. Levin
2000	—	`conf`	Toward Quality of Security Service in a Resource Management System Benefit Function. Heterogeneous Computing Workshop Cynthia E. Irvine, Timothy E. Levin
1999	—	`conf`	An Overview of MSHN: The Management System for Heterogeneous Networks. Heterogeneous Computing Workshop 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
1999	A	`conf`	Toward a Taxonomy and Costing Method for Security Services. ACSAC Cynthia E. Irvine, Timothy E. Levin
1989	—	`conf`	A Formal Model for UNIX Setuid. S&P Timothy E. Levin, S. J. Padilla, Cynthia E. Irvine