oaklandsok / oaklandsok.github.ioLinks
☆14Updated 2 months ago
Alternatives and similar repositories for oaklandsok.github.io
Users that are interested in oaklandsok.github.io are comparing it to the libraries listed below
Sorting:
- ACM consolidated LaTeX styles☆66Updated 6 years ago
- Teaching materials related to the Tamarin Prover☆71Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆55Updated 10 months ago
- Tamarin models for state continuity of SGX enclave programs☆14Updated 4 years ago
- SGX command-line tools and paper☆148Updated 9 years ago
- ☆54Updated this week
- Experiments with Universal Composability in EasyCrypt☆43Updated this week
- Main source code repository of the Tamarin prover for security protocol verification.☆505Updated last week
- ☆38Updated 8 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Updated 2 years ago
- A practical attack framework for precise enclave execution control☆471Updated 3 weeks ago
- The Scyther Tool for the symbolic analysis of security protocols☆107Updated 5 months ago
- Examples for EasyCrypt Lectures☆27Updated last week
- EasyCrypt: Computer-Aided Cryptographic Proofs☆382Updated this week
- mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)☆91Updated 6 years ago
- SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs☆49Updated 7 years ago
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆22Updated 2 years ago
- A "Hello World" Intel SGX enclave program☆91Updated 5 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆63Updated 8 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…☆44Updated last year
- Minimal RISC Extensions for Isolated Execution☆54Updated 6 years ago
- SGX Tutorial at CCS17: SGX Security and Privacy☆86Updated 8 years ago
- An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.☆103Updated 2 years ago
- [Obsolete] Tamarin prover manual: source files☆25Updated last week
- Automatic detection of speculative information flows☆75Updated 4 years ago
- ☆20Updated last year
- ☆22Updated 3 years ago
- LaTeX class for the IACR Transactions on Symmetric Cryptology☆36Updated last year
- A 2-4h workshop on the Tamarin protocol verifier.☆22Updated 7 months ago
- A tool to evaluate the security of cryptographic primitives against distinguishing attacks with bit-vector SMT solvers.☆39Updated last year