Alternatives and similar repositories for Protozoa

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

• kwonalbert / xrd
  XRD: Scalable messaging system with cryptographic privacy.
  ☆14Updated 5 years ago
• project-everest / everquic-crypto
  Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
  ☆13Updated 5 months ago
• sagi / fastgcd
  Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…
  ☆17Updated last year
• SHA-mbles / sha1_gpu_nearcollisionattacks
  GPU code for the first SHA-1 collision attack and two freestart attacks
  ☆14Updated 5 years ago
• claucece / formal-tutorials
  ☆28Updated 4 years ago
• usbarmory / GoTEE
  Go Trusted Execution Environment (TEE)
  ☆148Updated 5 months ago
• wisepythagoras / website-fingerprinting
  Deanonymizing Tor or VPN users with website fingerprinting and machine learning.
  ☆97Updated last year
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆33Updated 5 months ago
• greentfrapp / apple-neuralhash-attack
  Demonstrates iterative FGSM on Apple's NeuralHash model.
  ☆16Updated 4 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…
  ☆30Updated 5 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆63Updated last year
• seed-labs / seed-emulator
  A Python framework for creating emulation of the Internet.
  ☆265Updated last week
• shadow / tornettools
  A tool to generate realistic private Tor network models, run them in Shadow, and analyze the results.
  ☆41Updated last month
• NEU-SNS / intl-iot
  Datasets and code for IMC'19 paper on information exposure from IoT devices
  ☆67Updated last year
• formosa-crypto / libjade
  Crypto library
  ☆67Updated 2 months ago
• NullHypothesis / censorbib
  The Internet censorship bibliography.
  ☆157Updated last month
• hadipourh / sboxanalyzer
  An easy-to-use and open-source tool for differential, linear, differential-linear, and integral analysis of S-boxes
  ☆35Updated 3 weeks ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆93Updated 4 years ago
• catenacyber / elliptic-curve-differential-fuzzer
  Differential fuzzing for elliptic curves
  ☆24Updated 2 years ago
• traffic-analysis / deepcoffea
  ☆28Updated 3 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
  ☆107Updated 5 months ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆31Updated 3 years ago
• seclab-ucr / SymTCP
  Automatic Discrepancy Discovery for DPI Elusion
  ☆258Updated 5 years ago
• rweather / lightweight-crypto
  NIST Lightweight Cryptography Primitives
  ☆54Updated 3 years ago
• hardenedvault / ved
  Vault Exploit Defense
  ☆127Updated last year
• usubalang / usuba
  A programming language to write bitsliced ciphers
  ☆59Updated last year
• gfw-report / ndss25-wallbleed
  This repo includes the artifacts for the NDSS 2025 paper "Wallbleed: A Memory Disclosure Vulnerability in the Great Firewall of China": h…
  ☆50Updated 11 months ago
• USENIX-Security-2025 / conference-format
  ☆22Updated last year
• Inria-Prosecco / pqxdh-analysis
  Formal Analysis of the PQXDH Protocol
  ☆30Updated last year