David C. Toll

According to our database, David C. Toll authored at least 10 papers between 2000 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Lessons Learned: Building the Caernarvon High-Assurance Operating System.

Paul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber

IEEE Secur. Priv., 2011

2010

Implementing a High-Assurance Smart-Card OS.

Paul A. Karger, David C. Toll, Elaine R. Palmer, Suzanne McIntosh, Samuel Weber, Jonathan W. Edwards

Proceedings of the Financial Cryptography and Data Security, 14th International Conference, 2010

Designing a Side Channel Resistant Random Number Generator.

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

Proceedings of the Smart Card Research and Advanced Application, 2010

2009

Privacy is essential for secure mobile devices.

Paul A. Karger, Gaurav S. Kc, David C. Toll

IBM J. Res. Dev., 2009

2008

The Caernarvon secure embedded operating system.

David C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber

ACM SIGOPS Oper. Syst. Rev., 2008

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating System.

Sam Weber, Amitkumar M. Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

2006

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria Evaluations.

Amit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

2003

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart Card.

Helmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll

Proceedings of the Computer Security, 2003

2002

Verified Formal Security Models for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

J. Comput. Secur., 2002

2000

Verification of a Formal Security Model for Multiapplicative Smart Cards.

Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll

Proceedings of the Computer Security, 2000