Publications

3 results for David C. Toll

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