HeisenbugLtd / Saatana

A cryptographic framework, proven for correctness in SPARK
14Updated 3 months ago

Alternatives and similar repositories for Saatana:

Users that are interested in Saatana are comparing it to the libraries listed below