Privacy is essential for secure mobile devices
- Paul A. Karger
- Gaurav S. Kc
- et al.
- 2009
- IBM J. Res. Dev
Paper
Publications
3 results for David C. Toll
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
Conference paperThe Caernarvon secure embedded operating system
- David C. Toll
- Paul A. Karger
- et al.
- 2008
- EuroSys 2008
Conference paper