David C. Toll

	2008
5		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
4		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)
	2003
3		Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll: Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card. ESORICS 2003: 181-200
	2002
2		Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verified Formal Security Models for Multiapplicative Smart Cards. Journal of Computer Security 10(4): 339-368 (2002)
	2000
1		Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll: Verification of a Formal Security Model for Multiapplicative Smart Cards. ESORICS 2000: 17-36

Coauthor Index

1	Vernon Austel	[1] [2]
2	Ran Canetti	[3]
3	Matthew Kaplan	[5]
4	Paul A. Karger	[1] [2] [3] [4] [5]
5	Hugo Krawczyk	[3]
6	Suzanne McIntosh	[4] [5]
7	Elaine R. Palmer	[4] [5]
8	Amitkumar Paradkar	[5]
9	Tal Rabin	[3]
10	Wolfgang Reif	[1] [2]
11	Axel Schairer	[1] [2]
12	Gerhard Schellhorn	[1] [2]
13	Helmut Scherzer	[3]
14	Sam Weber	[4] [5]