Paul A. Karger

Publication Activity (10 Years)

Years Active: 1978-2011
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber
Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Secur. Priv. 9 (1) (2011)
Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards
Implementing a High-Assurance Smart-Card OS. Financial Cryptography (2010)
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll
Designing a Side Channel Resistant Random Number Generator. CARDIS (2010)
Paul A. Karger, Gaurav S. Kc, David C. Toll
Privacy is essential for secure mobile devices. IBM J. Res. Dev. 53 (2) (2009)
Paul A. Karger
Securing virtual machine monitors: what is needed? AsiaCCS (2009)
Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System. ISSRE (2008)
Paul A. Karger, David Safford
I/O for Virtual Machine Monitors: Security and Performance Issues. IEEE Secur. Priv. 6 (5) (2008)
David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber
The Caernarvon secure embedded operating system. ACM SIGOPS Oper. Syst. Rev. 42 (1) (2008)
Pau-Chen Cheng, Pankaj Rohatgi, Claudia Keser, Paul A. Karger, Grant M. Wagner, Angela Schuett Reninger
Fuzzy Multi-Level Security: An Experiment on Quantified Risk-Adaptive Access Control. IEEE Symposium on Security and Privacy (2007)
Paul A. Karger
Performance and security lessons learned from virtualizing the alpha processor. ISCA (2007)
Paul A. Karger
Privacy and security threat analysis of the federal employee personal identity verification (PIV) program. SOUPS (2006)
Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan
Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. ISSSE (2006)
Sam Weber, Paul A. Karger, Amit M. Paradkar
A software flaw taxonomy: aiming tools at security. SESS@ICSE (2005)
Sam Weber, Paul A. Karger, Amit M. Paradkar
A software flaw taxonomy: aiming tools at security. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Paul A. Karger
Multi-Level Security Requirements for Hypervisors. ACSAC (2005)
Shai Halevi, Paul A. Karger, Dalit Naor
Enforcing Confinement in Distributed Storage and a Cryptographic Model for Access Control. IACR Cryptol. ePrint Arch. 2005 (2005)
Gaurav S. Kc, Paul A. Karger
Preventing Attacks on Machine Readable Travel Documents (MRTDs). IACR Cryptol. ePrint Arch. 2005 (2005)
Paul A. Karger, Helmut Kurth
Increased Information Flow Needs for High-Assurance Composite Evaluations. IWIA (2004)
Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll
Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. ESORICS (2003)
Paul A. Karger
The Importance of High Assurance Security in Pervasive Computing. SPC (2003)
Paul A. Karger, Roger R. Schell
Thirty Years Later: Lessons from the Multics Security Evaluation. ACSAC (2002)
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. 10 (4) (2002)
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS (2000)
Rosario Gennaro, Paul A. Karger, Stephen M. Matyas, Mohammad Peyravian, Allen Roginsky, David Safford, Michael Willett, Nevenko Zunic
Two-phase cryptographic key recovery system. Comput. Secur. 16 (6) (1997)
Yair Frankel, Amir Herzberg, Paul A. Karger, Hugo Krawczyk, Charles A. Kunzinger, Mordechai M. Yung
Security issues in a CDPD wireless network. IEEE Wirel. Commun. 2 (4) (1995)
Paul A. Karger, John C. Wray
Storage Channels in Disk Arm Optimization. IEEE Symposium on Security and Privacy (1991)
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
A Retrospective on the VAX VMM Security Kernel. IEEE Trans. Software Eng. 17 (11) (1991)
Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn
A VMM Security Kernel for the VAX Architecture. IEEE Symposium on Security and Privacy (1990)
Paul A. Karger
Using Registers to Optimize Cross-Domain Call Performance. ASPLOS (1989)
Paul A. Karger
New Methods for Immediate Revocation. IEEE Symposium on Security and Privacy (1989)
Paul A. Karger
Implementing commercial data integrity with secure capabilities. IEEE Symposium on Security and Privacy (1988)
Paul A. Karger
Limiting the Damage Potential of Discretionary Trojan Horses. IEEE Symposium on Security and Privacy (1987)
Paul A. Karger
Authentication and Discretionary Access Control in Computer Networks. Comput. Networks 10 (1986)
Paul A. Karger
Authentication and discretionary access control in computer networks. Comput. Secur. 5 (4) (1986)
Paul A. Karger, A. J. Herbert
An Augmented Capability Architecture to Support Lattice Security and Traceability of Access. IEEE Symposium on Security and Privacy (1984)
Paul A. Karger
The Lattice Security Model In A Public Computing Network. ACM Annual Conference (1) (1978)

Paul A. Karger.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Paul A. Karger