项目描述 ：
A cryptographic framework, proven for correctness in SPARK

高级语言： Ada

项目主页： https://github.heisenbug.eu/Saatana

项目地址: git://github.com/HeisenbugLtd/Saatana.git

创建时间： 2017-10-04T08:08:13Z
项目社区：https://github.com/HeisenbugLtd/Saatana
开源协议：Do What The F*ck You Want To Public License
下载