CactiLab / Sherloc-Cortex-M-CFVD
SHERLOC: Secure and Holistic Control-Flow Violation Detection on Embedded Systems
☆14Updated 6 months ago
Related projects: ⓘ
- Prototype system for the paper "OAT: Attesting Operation Integrity of Embedded Devices"(Oakland'20)☆13Updated 3 years ago
- ☆29Updated last year
- ☆18Updated 10 months ago
- ☆29Updated last year
- ☆24Updated last year
- 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
- Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019☆36Updated 2 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆22Updated 9 months ago
- Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance☆41Updated 2 years ago
- ☆21Updated last year
- Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.☆16Updated last year
- Website for Research Artifacts from the Security Community☆18Updated last week
- COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020☆26Updated last year
- Raspbian with OP-TEE support.☆24Updated 5 years ago
- ☆86Updated last year
- ☆19Updated 3 years ago
- ☆28Updated last year
- Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves☆52Updated 5 years ago
- Policy-Guided Fuzzing for Robotic Vehicles☆32Updated last year
- A flush-reload side channel attack implementation☆41Updated 2 years ago
- ☆11Updated last year
- RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)☆21Updated 5 years ago
- This is the main repo for Penglai.☆63Updated 11 months ago
- TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets☆76Updated 5 months ago
- CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…☆33Updated 2 months ago
- ☆30Updated 2 years ago
- ☆15Updated 3 years ago
- ☆12Updated 2 years ago
- Statistics of acceptance rate for the top conferences: Oakland, CCS, USENIX Security, NDSS.☆89Updated last week
- FirmSec Dataset☆29Updated 2 years ago