project-everest / everquic-cryptoView external linksLinks
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Aug 11, 2025Updated 6 months ago
Alternatives and similar repositories for everquic-crypto
Users that are interested in everquic-crypto are comparing it to the libraries listed below
Sorting:
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago
- ☆17Jan 12, 2025Updated last year
- ☆38Jan 4, 2018Updated 8 years ago
- A differential fuzzing framework for the QUIC protocol☆19Nov 21, 2023Updated 2 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Jun 10, 2017Updated 8 years ago
- This repository contains the code for the paper "Website Fingerprinting in the Age of QUIC" (PETS 2021).☆22Jul 12, 2023Updated 2 years ago
- Source code to simulate WTF-PAD on a set of web traffic traces.☆25Jul 14, 2020Updated 5 years ago
- Sensitive and Collaborative Fuzzing with AFL☆27Jul 29, 2019Updated 6 years ago
- Eigen zkVM's Proving Service☆29Aug 24, 2025Updated 5 months ago
- Create a custom GPT for your organization with file search. This demo shows how to create an assistant, set up a vector store, upload and…☆10May 23, 2024Updated last year
- Low-level language for encoding AIR of computations☆38May 7, 2023Updated 2 years ago
- CCF推 荐列表的会议征稿信息(计算机系统相关);SCI I区、II区期刊(系统与安全相关)☆30Jun 13, 2019Updated 6 years ago
- JSON Schema to C parser generator☆10Dec 4, 2022Updated 3 years ago
- ☆11May 8, 2023Updated 2 years ago
- Bilinear Pairings Components Library for Delphi☆12Dec 19, 2018Updated 7 years ago
- Kessler is a simulation environment loosely modeled after our internal project PsiBee and the external project Fuzzy Asteroids. The game …☆15Aug 13, 2025Updated 6 months ago
- ☆10Jun 16, 2021Updated 4 years ago
- This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy …☆41Feb 4, 2026Updated last week
- Reconnaître la marque/modèle des véhicules dans une image☆11Mar 31, 2023Updated 2 years ago
- Code for Tracing Transactions Across Cryptocurrency Ledgers (which focuses on ShapeShift)☆11Oct 15, 2019Updated 6 years ago
- An open-source command line interface for linting your Ethereum 2.0 validator set up☆14May 17, 2021Updated 4 years ago
- mobile international certificate of vaccination☆12Nov 9, 2021Updated 4 years ago
- Benchmarks of all public available SNARK/STARK keccak circuits☆13Oct 1, 2023Updated 2 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- ☆12Mar 9, 2024Updated last year
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- A Multipath TCP python support library 🐍☆10Feb 5, 2023Updated 3 years ago
- Experiments with Universal Composability in EasyCrypt☆43Feb 6, 2026Updated last week
- Automated generation of provably secure, zero-copy parsers from format specifications☆304Updated this week
- Scriptable interface to a powerful, multi-lingual language server☆32Updated this week
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Modular, opensource, high performance G-code interpreter and CNC controller written in Object-Oriented C++☆10Jun 17, 2016Updated 9 years ago
- Prints a dot graph of a nim ast dumped using the `dumpTree` macro.☆13Sep 18, 2022Updated 3 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- randomized SVD with single pass over data matrix☆10Apr 23, 2023Updated 2 years ago
- A system that exposes a engine api to the public, allowing a multiple consensus to one execution node setup.☆13Nov 30, 2025Updated 2 months ago
- Signal processing features based on xtensor☆12Nov 25, 2023Updated 2 years ago
- Source code for the data collection and analysis used in the 'How unique is your onion?' project.☆11Dec 15, 2017Updated 8 years ago
- Auto-built docker image with latest Nim devel version☆10Jul 21, 2023Updated 2 years ago