author : Ali E. Abdallah

Contents

• Fred B. Schneider. Lifting reference models from the kernel. 2003

(keynote talk: extended abstract)

• Andy Gordon. Authenticity types for cryptographic protocols. 2003

(invited talk: extended abstract)

• Lawrence C. Paulson. Verifying the SET protocol: overview. 2003

(invited talk)

• David von Oheimb. Interacting State Machines: a stateful approach to proving security. 2003

• Frederic Oehl, Gerard Cece, Olga Kouchnarenko, David Sinclair. Automatic approximation for the verification of cryptographic protocols. 2003

• Colin Boyd, Kapali Viswanathan. Towards a formal specification of the Bellare-Rogaway model for protocol analysis. 2003

• Susan Stepney. Critical critical systems. 2003

(invited talk) full paper

• Dieter Gollmann. Analysing security protocols. 2003

(invited talk)

• Gethin Norman, Vitaly Shmatikov. Analysis of probabilistic contract signing. 2003

• Sigrid Gurgens, Carsten Rudolph. Security analysis of (un-)fair non-repudiation protocols. 2003

• Joseph Y. Halpern, Riccardo Pucella. Modeling adversaries in a logic for security protocol analysis. 2003

• M. Debbabi, J. Desharnais, M. Fourati, E. Menif, F. Painchaud, N. Tawbi. Secure self-certified code for Java. 2003

• J. Anthony Hall. Z styles for security properties and modern user interfaces. 2003

• B. Preneel. Cryptographic challenges: the past and the future. 2003

(invited talk)

• Ernie Cohen. TAPS: the last few slides. 2003

(invited talk)

• Antonio Durante, Roberto Di Pietro, Luigi V. Mancini. Formal specification for fast automatic IDS training. 2003

• Gordon Thomas Rohrmair, Gavin Lowe. Using CSP to detect insertion and evasion possibilities within the intrusion detection area. 2003

• Felix C. Gartner. Revisiting liveness properties in the context of secure systems. 2003