Alternatives and similar repositories for SGX-Enclave-Formal-Verification

Users that are interested in SGX-Enclave-Formal-Verification are comparing it to the libraries listed below

• sslab-gatech / sgx-tutorial-ccs17
  SGX Tutorial at CCS17: SGX Security and Privacy
  ☆86Updated 8 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆55Updated 10 months ago
• donnod / linux-sgx-mage
  ☆21Updated 3 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 5 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆49Updated 7 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆26Updated 8 years ago
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 6 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆34Updated 6 years ago
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 8 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• 0tcb / TAP
  ☆22Updated 3 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated 3 months ago
• landoxy / intel-sgx-deep-learning
  Deep Learning with Intel SGX
  ☆23Updated 7 years ago
• intel / sgx-ra-sample
  ☆179Updated 3 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆56Updated 2 years ago
• lsds / spectre-attack-sgx
  Spectre attack against SGX enclave
  ☆239Updated 8 years ago
• sshsshy / ZeroTrace
  ☆49Updated last year
• utds3lab / sgxelide
  A code confidentiality framework for Intel SGX
  ☆19Updated 7 years ago
• sangfansh / SGX101_sample_code
  ☆61Updated last year
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 9 years ago
• digawp / hello-enclave
  A "Hello World" Intel SGX enclave program
  ☆91Updated 5 years ago
• oweisse / hot-calls
  Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper
  ☆24Updated 4 years ago
• Jim8y / awesome-sgx
  A curated list of SGX code and resources.
  ☆246Updated last year
• yerzhan7 / SGX_SQLite
  SQLite database inside a secure Intel SGX enclave (Linux)
  ☆60Updated 7 years ago
• jovanbulck / sgx-step
  A practical attack framework for precise enclave execution control
  ☆471Updated 3 weeks ago
• DanGe42 / flush-reload
  [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack
  ☆63Updated 8 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated 3 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆148Updated 9 years ago