Alice&Bob protocols

Main content

Research papers and tools on Alice&Bob notation

The backend for this work is the Tamarin prover.

 

 

 
 
Page URL: http://www.infsec.ethz.ch/research/software/anb.html
Wed Mar 29 19:52:54 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich