project-everest / everquic-crypto
Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.
☆13Updated 3 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:
- ☆35Updated 8 years ago
- PoC exploits against various SGX enclaves☆14Updated 3 years ago
- Fastgcd is a C implementation of an efficient algorithm to compute the pairwise GCDs of a collection of integers. The algorithm is due to…☆17Updated last year
- A Tool for the Static Analysis of Cache Side Channels☆40Updated 8 years ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 5 years ago
- Basis Reduction Algorithms for Codes (LLL and more)☆26Updated last year
- Implementation of differential fuzz testing for TLS handshake messages☆11Updated 3 years ago
- ☆30Updated last year
- A microarchitectural leakage detection framework using dynamic instrumentation.☆73Updated 2 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 4 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- ☆13Updated 3 years ago
- Tor anonymity network for SGX☆46Updated 6 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- ROSA: Finding Backdoors with Fuzzing☆22Updated 2 months ago
- Differential fuzzing for elliptic curves☆23Updated last year
- A repository of tools for verifying constant-timeness☆18Updated 3 months ago
- Minimal RISC Extensions for Isolated Execution☆52Updated 5 years ago
- Differential Address Trace Analysis☆56Updated last year
- Tool to Analyze Speculative Execution Attacks and Mitigations☆55Updated 3 years ago
- Website for Research Artifacts from the Security Community☆18Updated 3 weeks ago
- Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone☆104Updated 2 years ago
- ☆50Updated 2 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆48Updated 10 years ago
- ☆49Updated this week
- Teaching materials related to the Tamarin Prover☆70Updated 9 months ago
- An implementation of the IETF QUIC protocol in F*☆20Updated 5 years ago
- Low level attester and verifier drivers for multiple TEEs☆23Updated 11 months ago
- Script generated finite field arithmetic for elliptic curve cryptography☆20Updated last week
- Greybox Fuzzing of Distributed Systems (CCS'23)☆49Updated last year