David C. Toll

Publication Activity (10 Years)

Years Active: 2000-2011
Publications (10 Years): 0

Publications

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber
Lessons Learned: Building the Caernarvon High-Assurance Operating System. IEEE Secur. Priv. 9 (1) (2011)
Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards
Implementing a High-Assurance Smart-Card OS. Financial Cryptography (2010)
Suresh Chari, Vincenzo V. Diluoffo, Paul A. Karger, Elaine R. Palmer, Tal Rabin, Josyula R. Rao, Pankaj Rohatgi, Helmut Scherzer, Michael Steiner, David C. Toll
Designing a Side Channel Resistant Random Number Generator. CARDIS (2010)
Paul A. Karger, Gaurav S. Kc, David C. Toll
Privacy is essential for secure mobile devices. IBM J. Res. Dev. 53 (2) (2009)
Sam Weber, Amitkumar M. 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)
David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber
The Caernarvon secure embedded operating system. ACM SIGOPS Oper. Syst. Rev. 42 (1) (2008)
Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan
Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations. ISSSE (2006)
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)
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll
Verified Formal Security Models for Multiapplicative Smart Cards. J. Comput. Secur. 10 (4) (2002)
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)