project-everest / everquic-cryptoLinks
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 5 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
- ☆34Updated 3 months ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆65Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 8 years ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- ☆12Updated 4 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆28Updated last year
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 8 months ago
- A repository of tools for verifying constant-timeness☆19Updated 11 months ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- Differential Address Trace Analysis☆63Updated last year
- Crypto library☆67Updated last month
- Examples for EasyCrypt Lectures☆27Updated last week
- Reference implementations of post-quantum cryptographic primitives☆33Updated 5 months ago
- Tor anonymity network for SGX☆47Updated 6 years ago
- Optimized Binary GCD for Modular Inversion☆51Updated 5 years ago
- ☆54Updated this week
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆61Updated 2 weeks ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆80Updated 2 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆63Updated 3 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Script generated finite field arithmetic for elliptic curve cryptography☆24Updated 2 months ago
- Experimental implementation of KEMTLS in Rustls☆34Updated 2 months ago
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- Verification of BPF JIT compilers☆58Updated 2 years ago
- Slides from talks and other materials related to post-quantum crypto☆12Updated 4 years ago
- Synced with SGX101 gitbook.☆31Updated 2 years ago
- ABE GPSW scheme using BLS pairing implemented in Rust.☆16Updated 2 years ago