A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
acsl-technion
Back