 | 2008 |
|---|
| 3 |       | Sam Weber,
Amitkumar Paradkar,
Suzanne McIntosh,
David C. Toll,
Paul A. Karger,
Matthew Kaplan,
Elaine R. Palmer:
The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.
ISSRE 2008: 229-238 |
| 2 | | David C. Toll,
Paul A. Karger,
Elaine R. Palmer,
Suzanne McIntosh,
Sam Weber:
The Caernarvon secure embedded operating system.
Operating Systems Review 42(1): 32-39 (2008) |
| 1998 |
|---|
| 1 | | Sean W. Smith,
Elaine R. Palmer,
Steve Weingart:
Using a High-Performance, Programmable Secure Coprocessor.
Financial Cryptography 1998: 73-89 |
