Samoa: Formal Tools for Securing Web Services

FS2PV: A Cryptographic-Protocol Verifier for F#

February 2007

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.

Size : 2301242