David C. Toll - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 10 from 10

2011

Lessons Learned: Building the Caernarvon High-Assurance Operating SystemPaul A. Karger, Suzanne McIntosh, Elaine R. Palmer, David C. Toll, Samuel Weber. ieeesp, 9(1):22-30, 2011. [doi]

2010

2009

Privacy is essential for secure mobile devicesPaul A. Karger, Gaurav S. Kc, David C. Toll. ibmrd, 53(2):5, 2009. [doi]

2008

The Caernarvon secure embedded operating systemDavid C. Toll, Paul A. Karger, Elaine R. Palmer, Suzanne McIntosh, Sam Weber. sigops, 42(1):32-39, 2008. [doi]

The Feasibility of Automated Feedback-Directed Specification-Based Test Generation: A Case Study of a High-Assurance Operating SystemSam Weber, Amitkumar Paradkar, Suzanne McIntosh, David C. Toll, Paul A. Karger, Matthew Kaplan, Elaine R. Palmer. issre 2008: 229-238 [doi]

2006

Chicken & Egg: Dependencies in Security Testing and Compliance with Common Criteria EvaluationsAmit M. Paradkar, Suzanne McIntosh, Sam Weber, David C. Toll, Paul A. Karger, Matt Kaplan 0003. issse3 2006:

2003

Authenticating Mandatory Access Controls and Preserving Privacy for a High-Assurance Smart CardHelmut Scherzer, Ran Canetti, Paul A. Karger, Hugo Krawczyk, Tal Rabin, David C. Toll. esorics 2003: 181-200 [doi]

2002

Verified Formal Security Models for Multiapplicative Smart CardsGerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll. jcs, 10(4):339-368, 2002.

2000

Verification of a Formal Security Model for Multiapplicative Smart CardsGerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll. esorics 2000: 17-36 [doi]

Sign in or sign up to see more results.

runs on WebDSL