Building and deploying provably secure communication software
3月 2021
EverParse is a framework for automatical…
10月 2019
A High-Assurance Cryptographic Library (…
6月 2019
Vale (Verified Assembly Language for Eve…
EverCrypt is a high-performance, cross-p…
F*: Verification system for effectful pr…
11月 2018
miTLS is a verified reference implementa…
5月 2018
Z3 is a theorem prover from Microsoft Re…
KreMLin is a tool that extracts an F* pr…
1月 2017
Dafny is a verification-aware programmin…
フォロー:
このページを共有する:
