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
  ☆55Updated 10 months ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆22Updated 5 years ago
• donnod / linux-sgx-mage
  ☆21Updated 3 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 9 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
• 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
• ibr-ds / sgx-perf
  High-level performance analyser toolkit for Intel SGX
  ☆39Updated 6 years ago
• light1021 / SGX-protected-fs-demo
  SGX protected filesystem demo
  ☆12Updated 8 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
• digawp / hello-enclave
  A "Hello World" Intel SGX enclave program
  ☆91Updated 5 years ago
• lsds / sgx-lkl-musl
  Modified musl libc for SGX-LKL
  ☆13Updated 5 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆34Updated 6 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆54Updated 6 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated 3 months ago
• 0tcb / TAP
  ☆22Updated 3 years ago
• bl4ck5un / mbedtls-SGX
  mbedtls-SGX: a SGX-friendly TLS stack (ported from mbedtls)
  ☆91Updated 6 years ago
• sshsshy / ZeroTrace
  ☆49Updated last year
• kudelskisecurity / sgxfun
  SGX command-line tools and paper
  ☆148Updated 9 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 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 3 years ago
• intel / qemu-sgx
  ☆71Updated 3 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 6 years ago
• svartkanin / linux-sgx-remoteattestation
  Example of Linux SGX remote attestation
  ☆64Updated 7 years ago
• utds3lab / sgxelide
  A code confidentiality framework for Intel SGX
  ☆19Updated 7 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆35Updated 7 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