project-everest / everquic-cryptoLinks
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 2 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:
- ☆38Updated 8 years ago
- ☆33Updated 3 weeks ago
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- Differential Address Trace Analysis☆60Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 8 months ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆61Updated last year
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 5 months ago
- ☆12Updated 4 years ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Tor anonymity network for SGX☆46Updated 6 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆78Updated 4 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 8 years ago
- poststructural fuzzing☆31Updated 5 years ago
- Synced with SGX101 gitbook.☆31Updated last year
- A programming language to write bitsliced ciphers☆58Updated last year
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆60Updated 2 weeks ago
- Examples for EasyCrypt Lectures☆26Updated 2 months ago
- Variation of american fuzzy lop for testing compilers☆123Updated 3 years ago
- ☆12Updated 7 years ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- Public BanditFuzz Repo☆12Updated 4 years ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated 2 years ago
- Low level attester and verifier drivers for multiple TEEs☆25Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆53Updated 7 months ago