Since it is not practical to pre-package everything required to run the material here at GitHub, there are some preparations required before starting the Tutorial. You will need to have a JDK 11 or ...
The Squirrel Prover is a proof assistant dedicated to the verification of cryptographic protocols. It relies on a higher-order probabilistic logic following the computationnally complete symbolic ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback