Alice&Bob protocols

Research papers and tools on Alice&Bob notation

The backend for this work is the Tamarin prover.

 

 

 

JavaScript has been disabled in your browser