PLSysSec / swivelLinks
☆17Updated 2 years ago
Alternatives and similar repositories for swivel
Users that are interested in swivel are comparing it to the libraries listed below
Sorting:
- ☆21Updated 3 years ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- ☆10Updated last year
- ☆13Updated 5 months ago
- ☆12Updated 3 years ago
- ☆14Updated 2 months ago
- ☆13Updated 4 years ago
- ☆20Updated 3 years ago
- ☆22Updated 3 years ago
- Implementation of the Reusable Enclaves paper☆14Updated 2 years ago
- ☆23Updated 2 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- Hodor-PKU☆26Updated 4 years ago
- Trusted I/O Paths for SGX Enclaves☆18Updated 5 years ago
- ☆51Updated 4 years ago
- ☆22Updated 5 years ago
- ☆38Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- ☆13Updated 4 years ago
- This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…☆11Updated 3 years ago
- Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)☆26Updated 2 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆26Updated last year
- ☆72Updated 2 years ago
- ☆52Updated 3 years ago
- ☆16Updated 2 years ago
- ☆34Updated 3 years ago
- LLVM Implementation of different ShadowStack schemes for x86_64☆39Updated 5 years ago
- Violet: Selective Symbolic Execution to Detect Bad Performance Misconfiguration☆17Updated 5 years ago
- caijiqhx notes☆17Updated last year
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Updated 6 years ago