| 2003 | What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. | Catherine Meadows |
| 2003 | Type Inference for a Distributed pi-Calculus. | Cdric Lhoussaine |
| 2003 | Computer Security from a Programming Language and Static Analysis Perspective. | Xavier Leroy |
| 2003 | Handling Encryption in an Analysis for Secure Information Flow. | Peeter Laud |
| 2003 | Type Error Slicing in Implicitly Typed Higher-Order Languages. | Christian Haack, Joe B. Wells |
| 2003 | Modeling Web Interactions. | Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 2003 | A Simple Language for Real-Time Cryptographic Protocol Analysis. | Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli |
| 2003 | On the Secure Implementation of Security Protocols. | Pablo Giambiagi, Mads Dam |
| 2003 | Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling. | Samir Genaim, Andy King |
| 2003 | Requirements on the Execution of Kahn Process Networks. | Marc Geilen, Twan Basten |
| 2003 | Automatic Software Model Checking Using CLP. | Cormac Flanagan |
| 2003 | Programming Type-Safe Program Updates. | Martin Erwig, Deling Ren |
| 2003 | Flexible Models for Dynamic Linking. | Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach |
| 2003 | Tagging, Encoding, and Jones Optimality. | Olivier Danvy, Pablo E. Martnez Lpez |
| 2003 | Core Formal Molecular Biology. | Vincent Danos, Cosimo Laneve |
| 2003 | Security Properties: Two Agents Are Sufficient. | Hubert Comon-Lundh, Vronique Cortier |
| 2003 | A Tail-Recursive Semantics for Stack Inspections. | John Clements, Matthias Felleisen |
| 2003 | Approximate Pruning in Tabled Logic Programming. | Lus Fernando Castro, David Scott Warren |
| 2003 | Using Controller-Synthesis Techniques to Build Property-Enforcing Layers. | Karine Altisen, Aurlie Clodic, Florence Maraninchi, ric Rutten |
| 2003 | Correction of Functional Logic Programs. | Mara Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi |
| 2002 | Branching Types. | Joe B. Wells, Christian Haack |
| 2002 | Higher-Order Intensional Type Analysis. | Stephanie Weirich |
| 2002 | Timing UDP: Mechanized Semantics for Sockets, Threads, and Failures. | Keith Wansbrough, Michael Norrish, Peter Sewell, Andrei Serjantov |
| 2002 | A Modular, Extensible Proof Method for Small-Step Flow Analyses. | Mitchell Wand, Galen B. Williamson |
| 2002 | A Prototype Dependency Calculus. | Peter Thiemann |