project-everest / everquic-cryptoLinks
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated last month
Alternatives and similar repositories for everquic-crypto
Users that are interested in everquic-crypto are comparing it to the libraries listed below
Sorting:
- ☆37Updated 8 years ago
- ☆33Updated this week
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 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
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 4 months ago
- ☆53Updated this week
- A repository of tools for verifying constant-timeness☆18Updated 8 months ago
- ☆12Updated 4 years ago
- Differential fuzzing for elliptic curves☆23Updated 2 years ago
- Examples for EasyCrypt Lectures☆26Updated last month
- This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal…☆59Updated 2 weeks ago
- Experiments with Universal Composability in EasyCrypt☆39Updated last week
- Script generated finite field arithmetic for elliptic curve cryptography☆23Updated last week
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- Tor anonymity network for SGX☆46Updated 6 years ago
- Differential Address Trace Analysis☆58Updated last year
- A programming language to write bitsliced ciphers☆58Updated last year
- A microarchitectural leakage detection framework using dynamic instrumentation.☆76Updated 3 months ago
- Synced with SGX101 gitbook.☆31Updated last year
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- Formal Analysis of the PQXDH Protocol☆26Updated last year
- Crypto library☆66Updated last week
- Implementation of Valiant's universal circuit construction optimized for private function evaluation☆42Updated 4 years ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Updated 2 years ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 3 years ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- Constant-time choose between two variables in Clang/LLVM☆20Updated 7 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago