Monday April 25th

9h-9.30 Welcome

9.30-10.30 Cryptographic Protocols I (D. Lugiez)

11-12.30 Verification of Probabilistic Systems (R.Segala)

Lunch

14-15.30 Program Verification (M.Muller-Olm)

16-17 Cryptographic Protocols I (D. Lugiez)

Tuesday April 26th

9-10.30 Program Verification (M.Muller-Olm)

11-12.30 Non-Interference (G. Boudol)

Lunch

14-15.30 Cryptographic Protocols II (V. Cortier)

16-17.30 Verification of Probabilistic Systems (R.Segala)


Wednesday April 27th

9-10.30 XML (A. Gabillon)

11-12.30 Non-Interference (G. Boudol)

Lunch

14-15.30 Approximate Verification (M De Rougemont)

16-17h Short Talks I

 -The Avispa tool. Yohan Bochut.
 -The finite variante property or how to get rid of algebraic
  properties. Stephanie Delaune.
 -Intruder Detection for AC-like theories with homorphism. 
  Pascal Lafourcade.
 -Program Obfuscation}. Anton Lokhmotov.


Thursday 28th

9-10.30 XML (A. Gabillon)

11-12.30 Test and Model-Checking (D. Peled)

Lunch

Short Talks II
 - A Correspondance between the UC framework and the PPC
   calculus. Jesus  Almansa.
 - Secure communication in distributed environment. 
   Thomas Nitsche.
 - Stochastic models for security assessment. Karin Sallhammar.
 - Anonymization of IP monitoring data. André  Arnes.

Friday 29th

9-10.30 Approximate Verification (M De Rougemont)

11-12.30 Test and Model-Checking (D. Peled)

Lunch

End of School