Alternatives and similar repositories for muslkl:

Users that are interested in muslkl are comparing it to the libraries listed below

• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• ayeks / TresorSGX
  Securing storage encryption by using Intel SGX enclaves. First attempt for the isolation of OS components with trusted enclaves.
  ☆80Updated 8 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 8 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆31Updated 7 years ago
• intel / qemu-sgx
  ☆70Updated 2 years ago
• lsds / sgx-lkl-musl
  Modified musl libc for SGX-LKL
  ☆13Updated 4 years ago
• kaist-ina / SGX-Tor
  Tor anonymity network for SGX
  ☆46Updated 6 years ago
• utds3lab / sgxelide
  A code confidentiality framework for Intel SGX
  ☆17Updated 6 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆32Updated 8 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆52Updated 5 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• lsds / TaLoS
  Efficient TLS termination inside Intel SGX enclaves for existing applications
  ☆105Updated 3 years ago
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆104Updated 2 years ago
• intel / kvm-sgx
  ☆79Updated 2 years ago
• terry-hsu / smv
  SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications
  ☆13Updated 2 years ago
• asonnino / sgx-wallet
  Simple password-wallet application based on Intel SGX for linux.
  ☆16Updated 4 years ago
• oscarlab / dcache
  ☆14Updated 9 years ago
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 5 years ago
• sconecontainers / sconecontainers.github.io
  Scone Website
  ☆11Updated this week
• sslab-gatech / opensgx
  OpenSGX
  ☆300Updated 4 years ago
• sereca / SecureKeeper
  Secure ZooKeeper using Intel SGX
  ☆21Updated 8 years ago
• OSUSecLab / SgxPectre
  ☆73Updated 6 years ago
• isec-tugraz / secure-block-device
  The Secure Block Device Library is a software library that applies cryptographic confidentiality and integrity protection, including data…
  ☆36Updated 7 years ago
• cacheaudit / cacheaudit
  A Tool for the Static Analysis of Cache Side Channels
  ☆40Updated 8 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆33Updated 5 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 years ago
• intel / sgx-emm
  The Intel® Software Guard Extensions Enclave Memory Manager is a module designed to manage dynamic memory within an SGX runtime.
  ☆25Updated last month
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆47Updated 7 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆21Updated 5 years ago