SystemPapers
April 3, 2021 at 10:40 pm
CS
Research
System
Generated List:
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
Data-Oriented Programming: On the Expressiveness of Non-Control Data Attacks
GrapheneSGX
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation