Privacy is essential for secure mobile devices
- Paul A. Karger
- Gaurav S. Kc
- et al.
- 2009
- IBM J. Res. Dev
Publications
Date
Featured collections
Popular topics
12 results for Paul A. Karger
Is your virtual machine monitor secure?
- Paul A. Karger
- 2008
- APTC 2008
The feasibility of automated feedback-directed specification-based test generation: A case study of a high-assurance operating system
- Sam Weber
- Amitkumar Paradkar
- et al.
- 2008
- ISSRE 2008
I/O for virtual machine monitors: Security and performance issues
- Paul A. Karger
- David R. Safford
- 2008
- IEEE Security and Privacy
The Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
Performance and security lessons learned from virtualizing the alpha processor
- Paul A. Karger
- 2007
- ISCA 2007
Fuzzy Multi-Level Security: An experiment on quantified risk-adaptive access control
- Pau-Chen Cheng
- Pankaj Rohatgi
- et al.
- 2007
- S&P 2007
Privacy and security threat analysis of the federal employee Personal Identity Verification (PIV) program
- Paul A. Karger
- 2006
- SOUPS 2006
Multi-level security requirements for hypervisors
- Paul A. Karger
- 2005
- ACSAC 2005
A software flaw taxonomy: Aiming tools at security
- Sam Weber
- Paul A. Karger
- et al.
- 2005
- ICSEW 2005