CryptoVerif (original) (raw)
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.
CryptoVerif is a software tool for the automatic reasoning about security protocols written by Bruno Blanchet.