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:
- Google Client Implementation in Scapy☆14Jun 26, 2018Updated 8 years ago
- Configuration data for the Ethereum Mainnet☆15Updated this week
- Test tool for error cases of QUIC and HTTP/3☆37Oct 3, 2026Updated 2 weeks ago
- GPT-2 port to C#☆11Sep 27, 2022Updated 4 years 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
- 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.
- Source code to simulate WTF-PAD on a set of web traffic traces.☆26Jul 14, 2020Updated 6 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆20Jun 21, 2015Updated 11 years ago
- Pure javascript software 3D renderer☆14Aug 8, 2013Updated 13 years ago
- This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy …☆44Sep 22, 2026Updated 3 weeks ago
- (Keep It) Simple Stupid Database☆10Jul 16, 2017Updated 9 years ago
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated last year
- GPT2# is a zero dependency, sub 1 000 loc implementation of GPT2 inference, batteries included☆13May 2, 2023Updated 3 years ago
- Automated generation of provably secure, zero-copy parsers from format specifications☆344Updated this week
- Shazam for food.☆15Dec 31, 2016Updated 9 years 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.
- An reddit bot that displays useful GPA/course information in response to reddit topics/comments☆11Oct 5, 2025Updated last year
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- ☆15Aug 6, 2026Updated 2 months ago
- A C# implementation of the Altair Minimal specification, also known as a consensus layer light client.☆15Jun 20, 2022Updated 4 years ago
- Tiny public-domain implementation of BLAKE3☆29Sep 11, 2021Updated 5 years ago
- Practical Tamper-Proof System Auditing☆15Oct 19, 2023Updated 2 years ago
- Personal website. Built with Jekyll.☆15Oct 2, 2026Updated 2 weeks ago
- Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".☆17Oct 17, 2022Updated 4 years ago
- Run RISC-V development environment using docker☆18Feb 18, 2023Updated 3 years 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.
- LiteX-based PCIe MITM, sniffing, fuzzing, device emulation☆20Feb 9, 2022Updated 4 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 7 years ago
- Low-level language for encoding AIR of computations☆37May 7, 2023Updated 3 years ago
- ☆14Feb 18, 2021Updated 5 years ago
- Experiments with Universal Composability in EasyCrypt☆45Sep 25, 2026Updated 3 weeks ago
- SeGuRu: safe GPU programming in Rust☆21Sep 25, 2026Updated 3 weeks ago
- 🧰 🛠️ A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Mar 17, 2026Updated 7 months ago
- Examples violating memory safety in safe Rust.☆13Oct 5, 2024Updated 2 years ago
- Opal is a vector drawing library with an API similar to Quartz 2D built on top of Cairo.☆24Sep 28, 2026Updated 2 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.
- An AsciiMath parser and converter for .NET☆17Apr 22, 2024Updated 2 years ago
- ☆65Jan 4, 2023Updated 3 years ago
- ☆10May 8, 2023Updated 3 years ago
- Micro SD Sniffer TOL-09419☆25Jul 21, 2015Updated 11 years ago
- ChaCha20 + Poly1305☆27Apr 30, 2016Updated 10 years ago
- Modelling the new Lead-Copper apatite proposed room temperature supeconductor☆32Aug 8, 2023Updated 3 years ago
- Linux Kernel Driver Database☆20Feb 26, 2023Updated 3 years ago