Alternatives and similar repositories for Protozoa

Users that are interested in Protozoa are comparing it to the libraries listed below

• project-everest / everquic-crypto
  Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
  ☆13Updated 2 months ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆60Updated last year
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆32Updated 2 months ago
• NullHypothesis / censorbib
  The Internet censorship bibliography.
  ☆153Updated 2 months ago
• claucece / formal-tutorials
  ☆28Updated 3 years ago
• usbarmory / GoTEE
  Go Trusted Execution Environment (TEE)
  ☆135Updated 2 months ago
• hadipourh / sboxanalyzer
  An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
  ☆31Updated this week
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆480Updated 3 weeks ago
• kwonalbert / xrd
  XRD: Scalable messaging system with cryptographic privacy.
  ☆13Updated 4 years ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆106Updated last month
• tum-i4 / indistinguishability-obfuscation
  Implementation of indistinguishability obfuscation constructions from scientific literature
  ☆48Updated 10 years ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• tls-attacker / TLS-Anvil
  TLS-Anvil, a fully automated TLS testsuite for client and servers.
  ☆98Updated last month
• shadow / tornettools
  A tool to generate realistic private Tor network models, run them in Shadow, and analyze the results.
  ☆39Updated last month
• bifurcation / tamarin-ake
  Models for authenticated key exchange in Tamarin
  ☆12Updated 6 years ago
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆259Updated last week
• formosa-crypto / libjade
  Crypto library
  ☆66Updated last week
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆31Updated 3 years ago
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆21Updated 3 years ago
• cfrg / draft-irtf-cfrg-voprf
  Oblivious Pseudorandom Functions (OPRFs) using Prime-Order Groups
  ☆38Updated last year
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆78Updated 4 months ago
• NEU-SNS / intl-iot
  Datasets and code for IMC'19 paper on information exposure from IoT devices
  ☆67Updated last year
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆27Updated last year
• hyc / randprog
  Randomly generate a C (or javascript) program
  ☆36Updated 7 years ago
• sethtroisi / cado-nfs
  CADO-NFS is a complete implementation in C/C++ of the Number Field Sieve (NFS) algorithm for factoring integers. For official releases, p…
  ☆28Updated 5 years ago
• tuxxy / IACR-eprint-mirror
  Mirror of all PDFs from the IACR's eprint
  ☆47Updated last year
• dedis / purb
  Implementation and simulations for the "Reducing Metadata Leakage from Encrypted Data and Communication with PURBs" paper
  ☆30Updated 2 years ago
• BjoernMHaase / AuCPace
  ☆12Updated last year