Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆17Aug 11, 2025Updated last year
Alternatives and similar repositories for everquic-crypto
Users that are interested in everquic-crypto are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QUICforge is an experimental python tool for request forgery attacks with QUIC☆25May 1, 2022Updated 4 years ago
- Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)☆11Oct 15, 2019Updated 7 years ago
- ☆12Oct 1, 2020Updated 6 years ago
- ☆10Dec 8, 2019Updated 6 years ago
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Corpus of crypto formats☆13Dec 2, 2022Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆345Updated this week
- ☆38Jan 4, 2018Updated 8 years ago
- C implementation of Lean consensus for post-quantum Ethereum.☆15Oct 8, 2026Updated 3 weeks ago
- 🤖📝 CLI tool using LLMs to apply a change to a list of files while considering the context of each file.☆11Nov 28, 2024Updated last year
- ☆12Nov 21, 2022Updated 3 years ago
- Privacy-preserving EigenShare DEX☆11May 22, 2022Updated 4 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- Configuration data for the Ethereum Mainnet☆15Oct 12, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆28Apr 6, 2026Updated 7 months ago
- A .NET implementation of the Discv5 protocol.☆12Jan 13, 2026Updated 9 months ago
- Repository for synthCT framework (NDSS'22)☆10Oct 5, 2022Updated 4 years ago
- Source code to simulate WTF-PAD on a set of web traffic traces.☆26Jul 14, 2020Updated 6 years ago
- ☆12Feb 14, 2023Updated 3 years ago
- Pure javascript software 3D renderer☆14Aug 8, 2013Updated 13 years ago
- Shazam for food.☆15Dec 31, 2016Updated 9 years ago
- Javascript/NodeJS Plonk prover and verifier on bellman☆11Apr 29, 2023Updated 3 years ago
- ☆15Aug 6, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Contains python tools for performing website fingerprinting classification as well as fetching web-pages.☆13Aug 27, 2022Updated 4 years ago
- GPT2# is a zero dependency, sub 1 000 loc implementation of GPT2 inference, batteries included☆13May 2, 2023Updated 3 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 3 years ago
- collection of code snippets to assist working on cocalc☆10Jul 20, 2023Updated 3 years ago
- ☆17Apr 22, 2024Updated 2 years ago
- ☆31Oct 12, 2026Updated 3 weeks ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 8 years ago
- Vegvisir is an automated testing framework for orchestrating prototypical QUIC-HTTP/3 client-server communications using simulated networ…☆26Aug 7, 2026Updated 2 months ago
- UEFI bootloader stub☆18Aug 13, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".☆17Oct 17, 2022Updated 4 years ago
- Low-level language for encoding AIR of computations☆37May 7, 2023Updated 3 years ago
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆20Feb 9, 2022Updated 4 years ago
- Run RISC-V development environment using docker☆18Feb 18, 2023Updated 3 years ago
- Wilson–Cowan model☆15Aug 22, 2025Updated last year
- A C implementation of the Ramer-Douglas-Peucker path simplification algorithm☆13Sep 5, 2015Updated 11 years ago
- LibP2P implementation in C#☆16Mar 11, 2017Updated 9 years ago