Alice&Bob protocols
Research papers and tools on Alice&Bob notation
- DownloadKeller's bachelor's thesis (PDF, 1.1 MB)vertical_align_bottom: about translating Alice&Bob protocol notation into Tamarin's input language, Downloadwith implementation available (GZ, 49 KB)vertical_align_bottom.
- DownloadFestschrift for Jose Meseguer (PDF, 433 KB)vertical_align_bottom: Alice and Bob Meet Equational Theories - translation of Alice&Bob notation in general, and to Tamarin specifically. Prototype Downloadcheck generator available (GZ, 14 KB)vertical_align_bottom.
- DownloadKozmai's bachelor's thesis (PDF, 698 KB)vertical_align_bottom: translation a class of Tamarin specifications into Alice&Bob protocol notation, Downloadwith implementation available (ZIP, 24 KB)vertical_align_bottom.
The backend for this work is the Tamarin prover.