sancus-tee / sancus-core
Minimal OpenMSP430 hardware extensions for isolation and attestation
☆20Updated last year
Related projects: ⓘ
- Minimal RISC Extensions for Isolated Execution☆50Updated 5 years ago
- The MIT Sanctum processor top-level project☆27Updated 4 years ago
- A port of the RIPE suite to RISC-V.☆28Updated 5 years ago
- Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution☆31Updated 6 years ago
- ProSpeCT: Provably Secure Speculation for the Constant-Time Policy.☆14Updated 3 months ago
- GitHub (mirror) repository for the Mastik toolkit, written by Yuval Yarom https://cs.adelaide.edu.au/~yval/Mastik/☆34Updated 5 years ago
- Compiler-based tool that protects Intel SGX applications against controlled-channel attacks☆26Updated 7 years ago
- ☆21Updated last year
- Group administration repository for Tech: IOPMP Task Group☆13Updated 3 weeks ago
- Artifacts for our ShowTime paper (AsiaCCS '23), including distinguishing cache hits and misses with the human eye.☆10Updated last year
- A flush-reload side channel attack implementation☆41Updated 2 years ago
- [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack☆57Updated 6 years ago
- Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for RISC-V with focus on a formally verified…☆26Updated 2 weeks ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser☆60Updated 2 years ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆11Updated 2 years ago
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- SILVER - Statistical Independence and Leakage Verification☆12Updated last year
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆49Updated 3 weeks 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
- ☆22Updated 4 years ago
- ☆43Updated 5 years ago
- This repo is used for managing conversations about Veraison features☆52Updated 8 months ago
- SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)☆33Updated 7 years ago
- Implementation of flush + reload attack to extract private key from the GnuPG implementation of RSA.☆10Updated 5 years ago
- Tool to Analyze Speculative Execution Attacks and Mitigations☆53Updated 2 years ago
- A microarchitectural leakage detection framework using dynamic instrumentation.☆65Updated 3 months ago
- SGX protected filesystem demo☆12Updated 7 years ago
- RISC-V Security HC admin repo☆15Updated 3 months ago
- ☆14Updated 7 years ago