lib Benchmarking, analysis, and optimization of serverless function snapshots
lib COIN Attacks: On Insecurity of Enclave Untrusted Interfaces in SGX
lib Cross-Failure Bug Detection in Persistent Memory Programs
lib Fast, Flexible and Comprehensive Bug Detection for Persistent Memory Programs
lib Game of Threads: Enabling Asynchronous Poisoning Attacks
lib HerQules: Securing Programs via Hardware-Enforced Message Queues
lib HIPPOCRATES: Healing Persistent Memory Bugs Without Doing Any Harm
lib In-Fat Pointer: Hardware-Assisted Tagged-Pointer Spatial Memory Safety Defense with Subobject Bound Granularity Protection
lib Jamais Vu: Thwarting Microarchitectural Replay Attacks
lib Occlum: Secure and Efficient Multitasking Inside a Single Enclave of Intel SGX
lib PIBE: Practical Kernel Control-flow Hardening with Profile-guided Indirect Branch Elimination
lib Software Mitigation of Crosstalk on Noisy Intermediate-Scale Quantum Computers
lib Speculative Interference Attacks: Breaking Invisible Speculation Schemes
lib Streamline: A Fast, Flushless Cache Covert-Channel Attack by Enabling Asynchronous Collusion
lib The Guardian Council: Parallel Programmable Hardware Security
lib Who's Debugging the Debuggers? Exposing Debug Information Bugs in Optimized Binaries