WUSTL-CSPL / RT-TEE
☆24Updated last year
Related projects: ⓘ
- ☆29Updated last year
- ☆29Updated last year
- ☆21Updated last year
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 3 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆22Updated 9 months ago
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Updated last year
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆36Updated 2 years ago
- ☆12Updated 2 years ago
- ☆18Updated 10 months ago
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆17Updated last year
- This is the main repo for Penglai.☆63Updated 11 months ago
- ☆28Updated last year
- Group administration repository for Tech: IOPMP Task Group☆13Updated 3 weeks ago
- A general cross-architecture C/C++ hotpatch solution using customized userspace eBPF runtime. One patch release can fix the same vulnera…☆26Updated 10 months ago
- ☆21Updated last year
- Raspbian with OP-TEE support.☆24Updated 5 years ago
- ☆19Updated 3 years ago
- Reference implementation of Arm-CCA RMM specification☆37Updated this week
- Automatic Compartments for Embedded Systems☆24Updated 4 years ago
- ☆13Updated last year
- Prebuilt OP-TEE 3.15 Binaries for QEMUv8 and Run x-test☆13Updated 2 years ago
- Use on-demand control- data- flow slicing combined with taint analysis and symbolic execution to produce scalable and precise UB detectio…☆22Updated 3 years ago
- SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems☆14Updated 6 months ago
- A flush-reload side channel attack implementation☆41Updated 2 years ago
- ☆12Updated 2 years ago
- ☆15Updated 3 years ago
- In-Kernel Control-Flow Integrity on Commodity OSes using ARM Pointer Authentication☆12Updated last year
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- ☆9Updated 2 years ago
- ☆19Updated 5 years ago