SystemPapers
April 3, 2021 at 10:40 pm
CS
Research
System
Generated List:
A Design and Verification Methodology for Secure Isolated Regions
A Study of Modern Linux API Usage and Compatibility: What to Support When You’re Supporting
AccTEE: A WebAssembly-based Two-way Sandbox for Trusted Resource Accounting
Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
BesFS: A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
CHANCEL: Efficient Multi-client Isolation Under Adversarial Programs
Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
GrapheneSGX
Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation