oaklandsok / oaklandsok.github.io
☆12Updated last month
Related projects ⓘ
Alternatives and complementary repositories for oaklandsok.github.io
- ACM consolidated LaTeX styles☆64Updated 5 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 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…☆31Updated 9 months ago
- ☆25Updated 4 years ago
- Experiments with Universal Composability in EasyCrypt☆32Updated this week
- Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code☆224Updated 2 years ago
- ☆35Updated 7 years ago
- ☆14Updated 2 years ago
- Automatic detection of speculative information flows☆66Updated 3 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆28Updated 3 months ago
- Low-TCB Linux Applications with SGX Enclaves☆35Updated 5 years ago
- The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper☆52Updated last year
- Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P☆15Updated 7 years ago
- Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"☆35Updated 2 years ago
- Super Amazing Universal Composability, Yeah!☆33Updated 2 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆47Updated 6 years ago
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- SGX command-line tools and paper☆147Updated 8 years ago
- APISan: Sanitizing API Usages through Semantic Cross-Checking☆62Updated 3 years ago
- ☆42Updated this week
- Examples for EasyCrypt Lectures☆22Updated last month
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆19Updated last year
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- Differential Address Trace Analysis☆54Updated 7 months ago
- Foundational Cryptography Framework for machine-checked proofs of cryptography.☆48Updated 7 months ago
- ☆62Updated 5 years ago
- Greybox Fuzzing of Distributed Systems (CCS'23)☆40Updated 11 months ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆30Updated 6 years ago
- CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations☆13Updated 11 months ago