Repositories list

• noiseexplorer

  Public
  Online engine for reasoning about the Noise Protocol Framework.

  cryptographyformal-methodsformal-verification+ 4protocol-verificationprotocol-analysissymbolic-protocol-analysiscryptographic-protocols

  Rust

  •

  GNU General Public License v3.0

  •6•9•1•0•Updated Nov 15, 2024Nov 15, 2024

• verifpal

  Public
  Cryptographic protocol analysis for real-world protocols.

  cryptographyformal-methodsformal-verification+ 4protocol-verificationprotocol-analysissymbolic-protocol-analysiscryptographic-protocols

  Go

  •

  GNU General Public License v3.0

  •4•44•3•0•Updated Sep 8, 2024Sep 8, 2024

• enclave

  Public
  Command-line secure encrypted deniable cloud-synchronized notebook

  encrypted-notebook

  Go

  •

  GNU General Public License v2.0

  •7•111•3•0•Updated Jan 2, 2024Jan 2, 2024

• kyber-k2so

  Public
  Go implementation of the Kyber (version 3) post-quantum IND-CCA2 KEM.

  lattice-based-cryptopostquantumkyber+ 4pqcryptopqcgocryptography

  Go

  •

  MIT License

  •15•98•0•0•Updated Jan 1, 2024Jan 1, 2024

• verifpal-vscode

  Public
  Verifpal for Visual Studio Code

  visual-studio-code

  TypeScript

  •1•2•0•0•Updated Aug 19, 2023Aug 19, 2023

• verifpal-nova

  Public
  Verifpal extension for Panic Software's Nova editor.

  nova-editor

  GNU General Public License v3.0

  •0•0•0•0•Updated Aug 19, 2023Aug 19, 2023

• duckyzip

  Public
  Provably Honest Global Linking Service

  smart-contractsprivacy-enhancing-technologiesverifiable-random-function

  Go

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Jul 17, 2023Jul 17, 2023

• chacha20-poly1305-aead

  Public
  A pure Rust implementation of the ChaCha20-Poly1305 AEAD from RFC 7539.

  Rust

  •

  Apache License 2.0

  •6•0•0•0•Updated Dec 19, 2017Dec 19, 2017