Paul A. Karger

According to our database, Paul A. Karger authored at least 35 papers between 1978 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

Lessons Learned: Building the Caernarvon High-Assurance Operating System.

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber

IEEE Secur. Priv., 2011

2010

Implementing a High-Assurance Smart-Card OS.

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

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, David C. Toll

Proceedings of the Smart Card Research and Advanced Application, 2010

2009

Privacy is essential for secure mobile devices.

Paul A. Karger, Gaurav S. Kc, David C. Toll

IBM J. Res. Dev., 2009

Securing virtual machine monitors: what is needed?

Paul A. Karger

Proceedings of the 2009 ACM Symposium on Information, 2009

2008

The Caernarvon secure embedded operating system.

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber

ACM SIGOPS Oper. Syst. Rev., 2008

I/O for Virtual Machine Monitors: Security and Performance Issues.

Paul A. Karger, David Safford

IEEE Secur. Priv., 2008

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.

Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

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

Proceedings of the 2007 IEEE Symposium on Security and Privacy (S&P 2007), 2007

Performance and security lessons learned from virtualizing the alpha processor.

Paul A. Karger

Proceedings of the 34th International Symposium on Computer Architecture (ISCA 2007), 2007

2006

Privacy and security threat analysis of the federal employee personal identity verification (PIV) program.

Paul A. Karger

Proceedings of the 2nd Symposium on Usable Privacy and Security, 2006

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations.

Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2005

A software flaw taxonomy: aiming tools at security.

Sam Weber, Paul A. Karger, Amit M. Paradkar

ACM SIGSOFT Softw. Eng. Notes, 2005

Preventing Attacks on Machine Readable Travel Documents (MRTDs).

Gaurav S. Kc, Paul A. Karger

IACR Cryptol. ePrint Arch., 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

Multi-Level Security Requirements for Hypervisors.

Paul A. Karger

Proceedings of the 21st Annual Computer Security Applications Conference (ACSAC 2005), 2005

2004

Increased Information Flow Needs for High-Assurance Composite Evaluations.

Paul A. Karger, Helmut Kurth

Proceedings of the Second IEEE International Workshop on Information Assurance (IWIA'04), 2004

2003

The Importance of High Assurance Security in Pervasive Computing.

Paul A. Karger

Proceedings of the Security in Pervasive Computing, 2003

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

Proceedings of the Computer Security, 2003

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

Thirty Years Later: Lessons from the Multics Security Evaluation.

Paul A. Karger, Roger R. Schell

Proceedings of the 18th Annual Computer Security Applications Conference (ACSAC 2002), 2002

2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

Proceedings of the Computer Security, 2000

1997

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

1995

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

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

Storage Channels in Disk Arm Optimization.

Paul A. Karger, John C. Wray

Proceedings of the 1991 IEEE Symposium on Security and Privacy, 1991

1990

A VMM Security Kernel for the VAX Architecture.

Paul A. Karger, Mary Ellen Zurko, Douglas W. Bonin, Andrew H. Mason, Clifford E. Kahn

Proceedings of the 1990 IEEE Symposium on Security and Privacy, 1990

1989

New Methods for Immediate Revocation.

Paul A. Karger

Proceedings of the 1989 IEEE Symposium on Security and Privacy, 1989

Using Registers to Optimize Cross-Domain Call Performance.

Paul A. Karger

Proceedings of the ASPLOS-III Proceedings, 1989

1988

Improving security and performance for capability systems.

Paul A. Karger

PhD thesis, 1988

Implementing commercial data integrity with secure capabilities.

Paul A. Karger

Proceedings of the 1988 IEEE Symposium on Security and Privacy, 1988

1987

Limiting the Damage Potential of Discretionary Trojan Horses.

Paul A. Karger

Proceedings of the 1987 IEEE Symposium on Security and Privacy, 1987

1986

Authentication and Discretionary Access Control in Computer Networks.

Paul A. Karger

Comput. Networks, 1986

1984

An Augmented Capability Architecture to Support Lattice Security and Traceability of Access.

Paul A. Karger, A. J. Herbert

Proceedings of the 1984 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 29, 1984

1978

The Lattice Security Model In A Public Computing Network.

Paul A. Karger

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978