project-everest / everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 3 weeks ago
Related projects: ⓘ
- ☆34Updated 7 years ago
- A repository of tools for verifying constant-timeness☆12Updated this week
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives☆55Updated 2 months ago
- ☆28Updated 5 months ago
- Teaching materials related to the Tamarin Prover☆62Updated last month
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago
- Tor anonymity network for SGX☆46Updated 5 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆22Updated 4 months ago
- PoC exploits against various SGX enclaves☆15Updated 2 years ago
- Differential Address Trace Analysis☆51Updated 5 months ago
- Verification of BPF JIT compilers☆54Updated last year
- ☆13Updated 2 years ago
- The Cryspen HACL Distribution☆14Updated this week
- Static analysis framework for EVM bytecode☆28Updated 4 years ago
- Low level attester and verifier drivers for multiple TEEs☆22Updated 3 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆15Updated 11 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- Crypto library☆50Updated last month
- poststructural fuzzing☆31Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆32Updated 7 months ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated 6 months ago
- Website for Research Artifacts from the Security Community☆18Updated last week
- Synced with SGX101 gitbook.☆30Updated 9 months ago
- Efficient Sampling of SAT Solutions for Testing☆34Updated 5 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆42Updated 9 years ago
- Implementation of differential fuzz testing for TLS handshake messages☆12Updated 3 years ago
- SFI verifier of Wasm binaries☆79Updated last year