project-everest / everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for everquic-crypto
- ☆35Updated 7 years ago
- Tor anonymity network for SGX☆46Updated 5 years ago
- PoC exploits against various SGX enclaves☆15Updated 2 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆40Updated 11 months ago
- ☆29Updated 7 months ago
- Website for Research Artifacts from the Security Community☆18Updated last month
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- A repository of tools for verifying constant-timeness☆12Updated 2 months ago
- Crypto library☆52Updated last month
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Static analysis framework for EVM bytecode☆28Updated 4 years ago
- poststructural fuzzing☆31Updated 4 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 8 months ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆35Updated 2 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆16Updated last year
- FuSeBMC is a novel Energy-Efficient Test Generator that exploits fuzzing and BMC engines to detect security vulnerabilities in real-world…☆46Updated 7 months ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆27Updated 7 years ago
- Formal Analysis of the PQXDH Protocol☆23Updated 5 months ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Updated 3 years ago
- White-box cryptography based on FAPKC algorithm☆26Updated 3 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆58Updated 4 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆135Updated this week
- Differential Address Trace Analysis☆54Updated 7 months ago
- Examples for TracerX KLEE☆9Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- A microarchitectural leakage detection framework using dynamic instrumentation.☆68Updated 5 months ago
- ☆37Updated 3 months ago