project-everest / everquic-cryptoLinks
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 4 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
- A Tool for the Static Analysis of Cache Side Channels☆41Updated 8 years ago
- ☆33Updated 2 months ago
- A repository of tools for verifying constant-timeness☆18Updated 10 months ago
- Differential fuzzing for elliptic curves☆24Updated 2 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆64Updated last year
- ☆12Updated 4 years ago
- Tools for power measurements of post-quantum cryptographic algorithms☆29Updated 6 years ago
- Differential Address Trace Analysis☆62Updated last year
- A microarchitectural leakage detection framework using dynamic instrumentation.☆79Updated last month
- An implementation of the IETF QUIC protocol in F*☆20Updated 6 years ago
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- Crypto library☆66Updated last week
- A programming language to write bitsliced ciphers☆58Updated last year
- Pin-Based Constant Execution Checker (Pin-based CEC)☆20Updated 8 months ago
- Tor anonymity network for SGX☆47Updated 6 years ago
- Examples for EasyCrypt Lectures☆26Updated 3 months ago
- Performance Evaluation of SHA-256 using SHA New Instructions.☆42Updated 6 months ago
- Formal Analysis of the PQXDH Protocol☆30Updated last year
- ☆52Updated 3 years ago
- ☆54Updated this week
- Script generated finite field arithmetic for elliptic curve cryptography☆25Updated 2 weeks ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- WebAssembly as a Fuzzing Compilation Target @ FUZZING'24☆17Updated last month
- Basis Reduction Algorithms for Codes (LLL and more)☆27Updated last year
- Optimized Binary GCD for Modular Inversion☆45Updated 5 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆38Updated 3 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago
- I-D that describes the algorithm identifiers for NIST's PQC ML-DSA for use in the Internet X.509 Public Key Infrastructure☆14Updated last month
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆110Updated 3 years ago