The Lattice Security Model In A Public Computing Network. - Paul A. Karger (ACM Annual Conference (1), 1978)

An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. - Paul A. Karger; A. J. Herbert (S&P, 1984)

Authentication and discretionary access control in computer networks. - Paul A. Karger (Comput. Secur., 1986)

Limiting the Damage Potential of Discretionary Trojan Horses. - Paul A. Karger (S&P, 1987)

Implementing commercial data integrity with secure capabilities. - Paul A. Karger (S&P, 1988)

Improving security and performance for capability systems. - Paul A. Karger (1988)

Using Registers to Optimize Cross-Domain Call Performance. - Paul A. Karger (ASPLOS, 1989)

New Methods for Immediate Revocation. - Paul A. Karger (S&P, 1989)

A VMM Security Kernel for the VAX Architecture. - Paul A. Karger; Mary Ellen Zurko; Douglas W. Bonin; Andrew H. Mason; Clifford E. Kahn (S&P, 1990)

Storage Channels in Disk Arm Optimization. - Paul A. Karger; John C. Wray (S&P, 1991)

A Retrospective on the VAX VMM Security Kernel. - Paul A. Karger; Mary Ellen Zurko; Douglas W. Bonin; Andrew H. Mason; Clifford E. Kahn (IEEE Trans. Software Eng., 1991)

Security issues in a CDPD wireless network. - Yair Frankel; Amir Herzberg; Paul A. Karger; Hugo Krawczyk; Charles A. Kunzinger; Mordechai M. Yung (IEEE Wirel. Commun., 1995)

Two-phase cryptographic key recovery system. - Rosario Gennaro; Paul A. Karger; Stephen M. Matyas; Mohammad Peyravian; Allen Roginsky; David Safford; Michael Willett; Nevenko Zunic (Comput. Secur., 1997)

Verification of a Formal Security Model for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (ESORICS, 2000)

Thirty Years Later: Lessons from the Multics Security Evaluation. - Paul A. Karger; Roger R. Schell (ACSAC, 2002)

Verified Formal Security Models for Multiapplicative Smart Cards. - Gerhard Schellhorn; Wolfgang Reif; Axel Schairer; Paul A. Karger; Vernon Austel; David C. Toll (J. Comput. Secur., 2002)

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. - Helmut Scherzer; Ran Canetti; Paul A. Karger; Hugo Krawczyk; Tal Rabin; David C. Toll (ESORICS, 2003)

The Importance of High Assurance Security in Pervasive Computing. - Paul A. Karger (SPC, 2003)

Increased Information Flow Needs for High-Assurance Composite Evaluations. - Paul A. Karger; Helmut Kurth (IWIA, 2004)

Multi-Level Security Requirements for Hypervisors. - Paul A. Karger (ACSAC, 2005)

Enforcing Confinement in Distributed Storage and a Cryptographic Model for Access Control. - Shai Halevi; Paul A. Karger; Dalit Naor (IACR Cryptol. ePrint Arch., 2005)

Preventing Attacks on Machine Readable Travel Documents (MRTDs). - Gaurav S. Kc; Paul A. Karger (IACR Cryptol. ePrint Arch., 2005)

A software flaw taxonomy: aiming tools at security. - Sam Weber 001; Paul A. Karger; Amit M. Paradkar (ACM SIGSOFT Softw. Eng. Notes, 2005)

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. - Amit M. Paradkar; Suzanne McIntosh; Sam Weber 001; David C. Toll; Paul A. Karger; Matt Kaplan 003 (ISSSE, 2006)

Privacy and security threat analysis of the federal employee personal identity verification (PIV) program. - Paul A. Karger (SOUPS, 2006)

Performance and security lessons learned from virtualizing the alpha processor. - Paul A. Karger (ISCA, 2007)

Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. - Pau-Chen Cheng; Pankaj Rohatgi; Claudia Keser; Paul A. Karger; Grant M. Wagner; Angela Schuett Reninger (S&P, 2007)

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. - Sam Weber 001; Amitkumar M. Paradkar; Suzanne McIntosh; David C. Toll; Paul A. Karger; Matthew Kaplan 003; Elaine R. Palmer (ISSRE, 2008)

I/O for Virtual Machine Monitors: Security and Performance Issues. - Paul A. Karger; David Safford (IEEE Secur. Priv., 2008)

The Caernarvon secure embedded operating system. - David C. Toll; Paul A. Karger; Elaine R. Palmer; Suzanne McIntosh; Sam Weber 001 (ACM SIGOPS Oper. Syst. Rev., 2008)

Securing virtual machine monitors: what is needed? - Paul A. Karger (AsiaCCS, 2009)

Privacy is essential for secure mobile devices. - Paul A. Karger; Gaurav S. Kc; David C. Toll (IBM J. Res. Dev., 2009)

Designing a Side Channel Resistant Random Number Generator. - Suresh Chari; Vincenzo V. Diluoffo; Paul A. Karger; Elaine R. Palmer; Tal Rabin; Josyula R. Rao; Pankaj Rohatgi; Helmut Scherzer; Michael Steiner 001; David C. Toll (CARDIS, 2010)

Implementing a High-Assurance Smart-Card OS. - Paul A. Karger; David C. Toll; Elaine R. Palmer; Suzanne McIntosh; Samuel Weber 001; Jonathan W. Edwards (Financial Cryptography, 2010)

Lessons Learned: Building the Caernarvon High-Assurance Operating System. - Paul A. Karger; Suzanne McIntosh; Elaine R. Palmer; David C. Toll; Samuel Weber 001 (IEEE Secur. Priv., 2011)