Tamarin Prover

software for formal verification of cryptographic protocols

en-GB/ˈtæməˌɹɪn ˈpɹuːvə/

Categories:

software