1. Preface to the special issue on ESORICS 2003

   • Einar Snekkenes

   Regular contribution 01 June 2005 Pages: 133 - 134

2. Symmetric authentication in a simulatable Dolev–Yao-style cryptographic library

   • Michael Backes
   • Birgit Pfitzmann
   • Michael Waidner

   Regular contribution 01 June 2005 Pages: 135 - 154

3. Analyzing SLE 88 memory management security using Interacting State Machines

   • David von Oheimb
   • Volkmar Lotz
   • Georg Walter

   Regular contribution 01 June 2005 Pages: 155 - 171

4. Passive-attack analysis for connection-based anonymity systems

   • Andrei Serjantov
   • Peter Sewell

   Regular contribution 01 June 2005 Pages: 172 - 180

5. OFMC: A symbolic model checker for security protocols

   • David Basin
   • Sebastian Mödersheim
   • Luca Viganò

   Regular contribution 01 June 2005 Pages: 181 - 208

6. Techniques for improving the security and manageability of IPsec policy

   • Jonathan Trostle
   • Bill Gossman

   Regular contribution 01 June 2005 Pages: 209 - 226