cryptographic-protocols

There are 0 repository under cryptographic-protocols topic.

• symbolicsoft / verifpal

  Cryptographic protocol analysis for real-world protocols.

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

• miculan / telegram-mtproto2-verification

  Formal Verification of Telegram's MTProto 2.0

  proverifcryptographic-protocolsformalization
  Language:Shell 12

• symbolicsoft / noiseexplorer

  Online engine for reasoning about the Noise Protocol Framework.

  cryptographic-protocolscryptographyformal-methodsformal-verificationprotocol-analysisprotocol-verificationsymbolic-protocol-analysis
  Language:Rust 6

• tixset / DiffieHellmanProtocol

  Пример работы протокола Диффи — Хеллмана на нескольких ЯП / An example of the Diffie - Hellman protocol working on several programming languages

  cryptographic-protocolsdiffie-hellman
  Language:Pascal 0