FS2PV: A Cryptographic-Protocol Verifier for F#
FS2PV is a verification tool that compiles cryptographic-protocol implementations in a first-order subset of F# to a formal pi-calculus model. This pi-calculus model then can be analyzed using ProVerif to prove the desired security properties or to find security flaws.
|
Download Details
|
Note: By installing, copying, or otherwise using this software, you agree to be bound by the terms of its license. Read the license. |
