1. Automated Reasoning for Security Protocol Analysis

   • Alessandro Armando
   • David Basin
   • Luca Viganò

   OriginalPaper 08 December 2005 Pages: 1 - 3

2. Verifying the SET Purchase Protocols

   • Giampaolo Bella
   • Fabio Massacci
   • Lawrence C. Paulson

   OriginalPaper 25 February 2006 Pages: 5 - 37

3. Formal Analysis of Multiparty Contract Signing

   • Rohit Chadha
   • Steve Kremer
   • Andre Scedrov

   OriginalPaper 19 January 2006 Pages: 39 - 83

4. Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks

   • Stéphanie Delaune
   • Florent Jacquemard

   OriginalPaper 20 July 2006 Pages: 85 - 124

5. Decidability Issues for Extended Ping-Pong Protocols

   • Hans Hüttel
   • Jiří Srba

   OriginalPaper 07 January 2006 Pages: 125 - 147

6. Attacking Group Protocols by Refuting Incorrect Inductive Conjectures

   • Graham Steel
   • Alan Bundy

   OriginalPaper 28 December 2005 Pages: 149 - 176