Proof Pearl: A Formal Proof of Dally and Seitz’ Necessary and Sufficient Condition for Deadlock-Free Routing in Interconnection Networks Freek VerbeekJulien Schmaltz OriginalPaper 18 September 2010 Pages: 419 - 439
Decidability and Combination Results for Two Notions of Knowledge in Security Protocols Véronique CortierStéphanie Delaune OriginalPaper 28 October 2010 Pages: 441 - 487
The Area Method Predrag JaničićJulien NarbouxPedro Quaresma OriginalPaper 16 November 2010 Pages: 489 - 532