Experiments in applying formal methods to cryptographic software to provide higher assurance.
Contributions welcome!
Run
$ git submodule init
$ git submodule update
libsodium with some verification by VeriFast.
Pre-packaged tis-ct (constant time verifier) for x86-64 MacOS X and x86-64 Linux.
Unpack with
$ tar xvfy tis-ct.tb2
then see the README.