Projects in Awesome Lists by OSUSecLab
A curated list of projects in awesome lists by OSUSecLab .
https://github.com/OSUSecLab/vSGX
The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
Last synced: 20 Apr 2025
https://github.com/OSUSecLab/Reusable-Enclaves
Implementation of the Reusable Enclaves paper
Last synced: 20 Apr 2025
https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
formal-models intel-sgx tamarin-prover
Last synced: 20 Apr 2025
https://github.com/OSUSecLab/v2v-sgx-prelim
Preliminary V2V SGX vs PKI code performance comparison
Last synced: 20 Apr 2025