Alice&Bob protocols

Research papers and tools on Alice&Bob notation

• Download Keller's bachelor's thesis (PDF, 1.1 MB): about translating Alice&Bob protocol notation into Tamarin's input language, Download with implementation available (GZ, 49 KB).
• Download Festschrift for Jose Meseguer (PDF, 433 KB): Alice and Bob Meet Equational Theories - translation of Alice&Bob notation in general, and to Tamarin specifically. Prototype Download check generator available (GZ, 14 KB).
• Download Kozmai's bachelor's thesis (PDF, 698 KB): translation a class of Tamarin specifications into Alice&Bob protocol notation, Download with implementation available (ZIP, 24 KB).
  

The backend for this work is the Tamarin prover.