protocol-verification

There are 0 repository under protocol-verification topic.

• symbolicsoft / verifpal

  Cryptographic protocol analysis for real-world protocols.

  formal-verificationprotocol-verificationsymbolic-protocol-analysisprotocol-analysiscryptographic-protocolscryptographyformal-methods
  Language:Go 32

• darrenldl / ProVerif-ATP

  ProVerif-ATP - Combining ProVerif and Automated Theorem Provers for Security Protocol Verification

  protocol-verificationproverifsecurity-protocol
  Language:OCaml 22

• symbolicsoft / noiseexplorer

  Online engine for reasoning about the Noise Protocol Framework.

  cryptographyformal-methodsformal-verificationprotocol-verificationprotocol-analysissymbolic-protocol-analysiscryptographic-protocols
  Language:Rust 6

• SoundVerification / wireguard

  Tamarin Model & Verified Go Implementation of the WireGuard VPN Key Exchange Protocol

  implementationprotocol-verificationseparation-logictamarinautomated-verificationsymbolic-security
  Language:Haskell 4

• sigp / verified-consensus

  Formalisation of Ethereum consensus in Isabelle/HOL

  ethereumformal-methodsprotocol-verificationverification
  Language:Isabelle 3

• hadisfr / Needham-Schroeder-Protocol-Promela-Verification

  spinpromelakey-sharing-protocolprotocol-verification
  Language:TeX 1

• soap-wg / soap-proofs

  This repository provides the formal model and proofs for SOAP, a SOcial Authentication Protocol.

  formal-verificationprotocol-verificationtamarin-prover
  Language:Python 1

• felixlinker / research-plan

  The research plan for my PhD in the Information Security group, ETH Zurich.

  project-proposalthesis-proposalinformation-securityprotocol-verificationauthenticationformal-verification
  Language:TeX 0

• logicalhacking / Automated_Stateful_Protocol_Verification

  Local mirror of Stateful Protocol Composition and Typing entry of the Archive of Formal Proofs (AFP).

  isabelle-holprotocol-verificationsecurity-protocolsverification
  Language:Isabelle

• logicalhacking / Stateful_Protocol_Composition_and_Typing

  isabelle-holprotocol-verificationverificationsecurity-protocols
  Language:Isabelle

• viperproject / protocol-verification-refinement

  Artifact of the paper "Sound Verication of Security Protocols: From Design to Interoperable Implementations"

  automated-verificationimplementationprotocol-verificationseparation-logicsymbolic-securitytamarin
  Language:Haskell