1. Proof Pearl: A Formal Proof of Dally and Seitz’ Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks

   • Freek Verbeek
   • Julien Schmaltz

   OriginalPaper 18 September 2010 Pages: 419 - 439

2. Decidability and Combination Results for Two Notions of Knowledge in Security Protocols

   • Véronique Cortier
   • Stéphanie Delaune

   OriginalPaper 28 October 2010 Pages: 441 - 487

3. The Area Method

   • Predrag Janičić
   • Julien Narboux
   • Pedro Quaresma

   OriginalPaper 16 November 2010 Pages: 489 - 532