author : Ali E. Abdallah

Contents

• Fred B. Schneider.

Lifting reference models from the kernel

(keynote talk: extended abstract)

• Andy Gordon.

Authenticity types for cryptographic protocols

(invited talk: extended abstract)

• Lawrence C. Paulson.

Verifying the SET protocol: overview

(invited talk)

• David von Oheimb.

Interacting State Machines: a stateful approach to proving security

• Frederic Oehl, Gerard Cece, Olga Kouchnarenko, David Sinclair.

Automatic approximation for the verification of cryptographic protocols

• Colin Boyd, Kapali Viswanathan.

Towards a formal specification of the Bellare-Rogaway model for protocol analysis

• Susan Stepney.

Critical critical systems

(invited talk) full paper

• Dieter Gollmann.

Analysing security protocols

(invited talk)

• Gethin Norman, Vitaly Shmatikov.

Analysis of probabilistic contract signing

• Sigrid Gurgens, Carsten Rudolph.

Security analysis of (un-)fair non-repudiation protocols

• Joseph Y. Halpern, Riccardo Pucella.

Modeling adversaries in a logic for security protocol analysis

• M. Debbabi, J. Desharnais, M. Fourati, E. Menif, F. Painchaud, N. Tawbi.

Secure self-certified code for Java

• J. Anthony Hall.

Z styles for security properties and modern user interfaces

• B. Preneel.

Cryptographic challenges: the past and the future

(invited talk)

• Ernie Cohen.

TAPS: the last few slides

(invited talk)

• Antonio Durante, Roberto Di Pietro, Luigi V. Mancini.

Formal specification for fast automatic IDS training

• Gordon Thomas Rohrmair, Gavin Lowe.

Using CSP to detect insertion and evasion possibilities within the intrusion detection area

• Felix C. Gartner.

Revisiting liveness properties in the context of secure systems