Explore projects

Main source code repository of the Tamarin prover for security protocol verification.

Python extension of ZKBoo framework.

C++ wrapper for Relic library, which is written in C.