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

• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆53Updated 7 months ago
• sslab-gatech / sgx-tutorial-ccs17
  SGX Tutorial at CCS17: SGX Security and Privacy
  ☆86Updated 7 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• donnod / linux-sgx-mage
  ☆20Updated 3 years ago
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 5 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆55Updated last year
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 5 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• lsds / spectre-attack-sgx
  Spectre attack against SGX enclave
  ☆237Updated 7 years ago
• intel / sgx-ra-sample
  ☆179Updated 2 years ago
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 8 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 9 years ago
• digawp / hello-enclave
  A "Hello World" Intel SGX enclave program
  ☆91Updated 4 years ago
• Jim8y / awesome-sgx
  A curated list of SGX code and resources.
  ☆244Updated last year
• 0tcb / TAP
  ☆21Updated 2 years ago
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆147Updated 9 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆33Updated 6 years ago
• intel / qemu-sgx
  ☆71Updated 2 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated 2 weeks ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆33Updated 7 years ago
• kudelskisecurity / sgx-reencrypt
  PoC of an SGX enclave performing symmetric reencryption
  ☆49Updated 9 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated 2 years ago
• jovanbulck / sgx-step
  A practical attack framework for precise enclave execution control
  ☆462Updated 5 months ago
• sslab-gatech / opensgx
  OpenSGX
  ☆304Updated 5 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• sebva / stress-sgx
  Stress-SGX is a fork of stress-ng that allows to put Intel SGX enclaves under high load.
  ☆16Updated 7 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆109Updated 3 years ago