https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification

Tamarin models for state continuity of SGX enclave programs
https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification

formal-models intel-sgx tamarin-prover

Last synced: about 1 month ago
JSON representation

Tamarin models for state continuity of SGX enclave programs

• Host: GitHub
• URL: https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification
• Owner: OSUSecLab
• Created: 2021-05-24T14:29:53.000Z (over 3 years ago)
• Default Branch: master
• Last Pushed: 2021-08-06T15:49:14.000Z (over 3 years ago)
• Last Synced: 2024-08-03T01:25:19.105Z (4 months ago)
• Topics: formal-models, intel-sgx, tamarin-prover
• Language: Python
• Homepage:
• Size: 9.73 MB
• Stars: 6
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

• Awesome-SGX-Open-Source - https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification