bellthomas/citadel

Citadel — A Trusted Reference Monitor for the Linux Kernel using Intel SGX Enclaves

Language: C - Size: 8.83 MB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0