Privacy is essential for secure mobile devices
- Paul A. Karger
- Gaurav S. Kc
- et al.
- 2009
- IBM J. Res. Dev
Paper
Publications
12 results for Paul A. Karger
Is your virtual machine monitor secure?
- Paul A. Karger
- 2008
- APTC 2008
Conference paperThe 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
Conference paperI/O for virtual machine monitors: Security and performance issues
- Paul A. Karger
- David R. Safford
- 2008
- IEEE Security and Privacy
PaperThe Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
Conference paperPerformance and security lessons learned from virtualizing the alpha processor
- Paul A. Karger
- 2007
- ISCA 2007
Conference paperFuzzy Multi-Level Security: An experiment on quantified risk-adaptive access control
- Pau-Chen Cheng
- Pankaj Rohatgi
- et al.
- 2007
- S&P 2007
Conference paperPrivacy and security threat analysis of the federal employee Personal Identity Verification (PIV) program
- Paul A. Karger
- 2006
- SOUPS 2006
Conference paperMulti-level security requirements for hypervisors
- Paul A. Karger
- 2005
- ACSAC 2005
Conference paperA software flaw taxonomy: Aiming tools at security
- Sam Weber
- Paul A. Karger
- et al.
- 2005
- ICSEW 2005
Workshop paper