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
  ☆54Updated 7 months ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 5 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• sslab-gatech / sgx-tutorial-ccs17
  SGX Tutorial at CCS17: SGX Security and Privacy
  ☆86Updated 8 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 8 years ago
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• donnod / linux-sgx-mage
  ☆21Updated 3 years ago
• OSUSecLab / vSGX
  The implementation of the 'vSGX: Virtualizing SGX Enclaves on AMD SEV' paper
  ☆56Updated 2 years ago
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 8 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆34Updated 6 years ago
• uni-due-syssec / teerex-exploits
  PoC exploits against various SGX enclaves
  ☆14Updated 3 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated 2 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated 2 weeks ago
• 0tcb / TAP
  ☆21Updated 2 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 6 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 9 years ago
• lsds / spectre-attack-sgx
  Spectre attack against SGX enclave
  ☆238Updated 7 years ago
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 6 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆33Updated 7 years ago
• sangfansh / SGX101_sample_code
  ☆61Updated last year
• jasonyu1996 / elasticlave
  ☆26Updated 8 months ago
• oweisse / hot-calls
  Fast interface for SGX secure enclaves. Based on ISCA 2017 HotCalls paper
  ☆24Updated 4 years ago
• HyperEnclave / atc22-ae
  ☆32Updated 3 years ago
• asonnino / sgx-wallet
  Simple password-wallet application based on Intel SGX for linux.
  ☆17Updated 5 years ago
• intel / qemu-sgx
  ☆71Updated 2 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 7 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆45Updated 9 years ago
• cloud-security-research / sgx-kms
  ☆33Updated 2 years ago