Performance and security lessons learned from virtualizing the alpha processor
- Paul A. Karger
- 2007
- ISCA 2007
Publications
Date
Featured collections
Popular topics
12 results for Paul A. Karger
Fuzzy Multi-Level Security: An experiment on quantified risk-adaptive access control
- Pau-Chen Cheng
- Pankaj Rohatgi
- et al.
- 2007
- S&P 2007
Multi-level security requirements for hypervisors
- Paul A. Karger
- 2005
- ACSAC 2005
Thirty years later: Lessons from the Multics security evaluation
- Paul A. Karger
- Roger R. Schell
- 2002
- ACSAC 2002
I/O for virtual machine monitors: Security and performance issues
- Paul A. Karger
- David R. Safford
- 2008
- IEEE Security and Privacy
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
Is your virtual machine monitor secure?
- Paul A. Karger
- 2008
- APTC 2008
The Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
Privacy and security threat analysis of the federal employee Personal Identity Verification (PIV) program
- Paul A. Karger
- 2006
- SOUPS 2006
Increased information flow needs for high-assurance composite evaluations
- Paul A. Karger
- Helmut Kurth
- 2004
- IEEE IWIA 2004