1. Safely composing security protocols

   • Véronique Cortier
   • Stéphanie Delaune

   OriginalPaper 30 October 2008 Pages: 1 - 36

2. Before and after vacuity

   • Hana Chockler
   • Ofer Strichman

   OriginalPaper 12 November 2008 Pages: 37 - 58

3. Timed verification of the generic architecture of a memory circuit using parametric timed automata

   • Remy Chevallier
   • Emmanuelle Encrenaz-Tiphene
   • Weiwen Xu

   OriginalPaper 05 November 2008 Pages: 59 - 81