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
• usbarmory / GoTEE
  Go Trusted Execution Environment (TEE)
  ☆146Updated 4 months ago
• NullHypothesis / censorbib
  The Internet censorship bibliography.
  ☆154Updated 2 weeks ago
• unblockable / proteus
  Proteus: Programmable Protocols for Censorship Circumvention
  ☆35Updated 6 months ago
• censoredplanet / censoredplanet
  ☆24Updated 2 years ago
• kste / keycommitment
  Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456
  ☆21Updated 4 years ago
• project-everest / everquic-crypto
  Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
  ☆13Updated 4 months ago
• tamarin-prover / teaching
  Teaching materials related to the Tamarin Prover
  ☆71Updated last year
• GoATTeam / GoAT
  Geolocate your files!
  ☆16Updated 3 years ago
• Ariana1729 / RSA-is-alive
  Implementation of https://eprint.iacr.org/2021/232
  ☆94Updated 4 years ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆47Updated 6 years ago
• cle0n / myool
  [Anti-Forensics, Steganography, Data Exfiltration] Encrypt a file and hide it in any PDF.
  ☆14Updated 8 years ago
• hardenedlinux / firmware-anatomy
  Tear the firmware apart with your bare hands;-)
  ☆193Updated 4 months ago
• zt-chen / voltpillager
  ☆32Updated 5 years ago
• Zhiyi-Zhang / PS-Signature-and-EL-PASSO
  A C++ Implementation of Short Randomizable Signatures (PS Signatures) and EL PASSO (Privacy-preserving, Asynchronous Single Sign-On)
  ☆25Updated 4 years ago
• tamarin-prover / tamarin-prover
  Main source code repository of the Tamarin prover for security protocol verification.
  ☆493Updated 3 weeks ago
• mishmashclone / wcventure-FuzzingPaper
  https://github.com/wcventure/FuzzingPaper
  ☆10Updated 3 years ago
• project-oak / transparent-release
  Making transparency normal!
  ☆24Updated 2 years ago
• vernamlab / TPM-FAIL
  TPM-Fail Attack code & data
  ☆123Updated 2 years ago
• hardenedvault / ved
  Vault Exploit Defense
  ☆127Updated last year
• claucece / formal-tutorials
  ☆28Updated 4 years ago
• cascremers / scyther
  The Scyther Tool for the symbolic analysis of security protocols
  ☆105Updated 3 months ago
• 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…
  ☆40Updated 9 months ago
• Cosmian / abe_gpsw
  ABE GPSW scheme using BLS pairing implemented in Rust.
  ☆15Updated 2 years ago
• seclab-ucr / SymTCP
  Automatic Discrepancy Discovery for DPI Elusion
  ☆256Updated 5 years ago
• landhb / DrawBridge
  Layer 4 Single Packet Authentication Linux kernel module utilizing Netfilter hooks and kernel supported Berkeley Packet Filters (BPF)
  ☆118Updated 2 years ago
• kriskwiatkowski / pqc
  Reference implementations of post-quantum cryptographic primitives
  ☆33Updated 4 months ago
• refraction-networking / gotapdance
  Cross-platform Golang implementation of TapDance censorship circumvention system client
  ☆59Updated 6 months ago
• ANSSI-FR / libdrbg
  A portable library implementing NIST SP 800-90A DRBGs
  ☆18Updated last month
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆38Updated 3 years ago