ESOP 2003

27 papers

1. A Simple Language for Real-Time Cryptographic Protocol Analysis · Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli
2. A Tail-Recursive Semantics for Stack Inspections · John Clements, Matthias Felleisen
3. Approximate Pruning in Tabled Logic Programming · Luís Fernando Castro, David Scott Warren
4. Automatic Software Model Checking Using CLP · Cormac Flanagan
5. Building Certified Libraries for PCC: Dynamic Storage Allocation · Dachuan Yu, Nadeem Abdul Hamid, Zhong Shao
6. Computer Security from a Programming Language and Static Analysis Perspective · Xavier Leroy
7. Core Formal Molecular Biology · Vincent Danos, Cosimo Laneve
8. Correction of Functional Logic Programs · María Alpuente, Demis Ballis, Francisco J. Correa, Moreno Falaschi
9. Correctness of Data Representations Involving Heap Data Structures · Uday S. Reddy, Hongseok Yang
10. Finite Differencing of Logical Formulas for Static Analysis · Thomas W. Reps, Shmuel Sagiv, Alexey Loginov
11. Flexible Models for Dynamic Linking · Sophia Drossopoulou, Giovanni Lagorio, Susan Eisenbach
12. Goal-Independent Suspension Analysis for Logic Programs with Dynamic Scheduling · Samir Genaim, Andy King
13. Handling Encryption in an Analysis for Secure Information Flow · Peeter Laud
14. Modeling Web Interactions · Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
15. On the Secure Implementation of Security Protocols · Pablo Giambiagi, Mads Dam
16. Programming Type-Safe Program Updates · Martin Erwig, Deling Ren
17. Register Allocation by Proof Transformation · Atsushi Ohori
18. Requirements on the Execution of Kahn Process Networks · Marc Geilen, Twan Basten
19. Rule Formats for Non Interference · Simone Tini
20. Security Properties: Two Agents Are Sufficient · Hubert Comon-Lundh, Véronique Cortier
21. Tagging, Encoding, and Jones Optimality · Olivier Danvy, Pablo E. Martínez López
22. The Rely-Guarantee Method in Isabelle/HOL · Leonor Prensa Nieto
23. Type Error Slicing in Implicitly Typed Higher-Order Languages · Christian Haack, Joe B. Wells
24. Type Inference for a Distributed pi-Calculus · Cédric Lhoussaine
25. Using Controller-Synthesis Techniques to Build Property-Enforcing Layers · Karine Altisen, Aurélie Clodic, Florence Maraninchi, Éric Rutten
26. Verifying Temporal Heap Properties Specified via Evolution Logic · Eran Yahav, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm
27. What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis · Catherine Meadows