Articles
Relating State-Based and Process-Based Concurrency through Linear Logic (with Andre Scedrov), Computer Science Department (2009)
This paper has the purpose of reviewing some of the established relationships between logic and...
On Teaching Programming Languages Using a Wiki, Computer Science Department (2008)
This paper reports on an ongoing experiment with using a wiki as support material for...
One Picture is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements (with Catherine Meadows), Computer Science Department (2007)
In this paper we show how we can increase the ease of reading and writing...
Breaking and Fixing Public-Key Kerberos (with Aaron D. Jaggard, Andre Scedrov, Joe-Kay Tsay, and Christopher Walstad), Computer Science Department (2007)
We report on a man-in-the-middle attack on PKINIT, the public key extension of the widely...
NEXCEL, a Deductive Spreadsheet, Computer Science Department (2007)
Usability and usefulness have made the spreadsheet one of the most successful computing applications of...
Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types (with Mark-Oliver Stehr), Computer Science Department (2007)
This paper presents a shallow and efficient embedding of the security protocol specification language MSR...
Specifying Properties of Concurrent Computations in CLF (with Kevin Watkins, Frank Pfenning, and David Walker), Computer Science Department (2004)
CLF (the Concurrent Logical Framework) is a language for specifying and reasoning about concurrent systems....
A Formal Analysis of Some Properties of Kerberos 5 Using MSR (with Frederick Butler, Aaron D. Jaggard, and Andre Scedrov), Technical Reports (CIS) (2004)
We give three formalizations of the Kerberos 5 authentication protocol in the Multi-Set Rewriting (MSR)...