Projects in Awesome Lists by acsl-technion
A curated list of projects in awesome lists by acsl-technion .
https://github.com/acsl-technion/cosmix
A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
Last synced: 20 Apr 2025