No subject area
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...