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
Tue Jun 27 14:19:27 CEST 2017
© 2017 Eidgenössische Technische Hochschule Zürich