Alternatives and similar repositories for smv

Users that are interested in smv 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 8 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 8 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆31Updated 7 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 7 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 4 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 5 years ago
• shwetasshinde24 / BesFS
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Updated 5 years ago
• sslab-gatech / libmpk
  ☆49Updated 3 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 8 years ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆53Updated 5 years ago
• acsl-technion / eleos
  ExitLess services for SGX enclaves
  ☆33Updated 5 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆48Updated 7 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆14Updated 8 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 years ago
• tudinfse / intel_mpx_explained
  Experimental setup of "Intel MPX explained"
  ☆28Updated 5 years ago
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 5 years ago
• utds3lab / sgxelide
  A code confidentiality framework for Intel SGX
  ☆17Updated 6 years ago
• intel / qemu-sgx
  ☆70Updated 2 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 8 years ago
• asonnino / sgx-wallet
  Simple password-wallet application based on Intel SGX for linux.
  ☆17Updated 5 years ago
• acsl-technion / cosmix
  A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves
  ☆28Updated 4 years ago
• hedayati / hodor
  Hodor-PKU
  ☆24Updated 3 years ago
• emeryberger / dthreads
  dthreads: Efficient Deterministic Multithreading
  ☆51Updated 10 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago
• SSGAalto / sgx-migration
  A library and an application to provide migratable primitives for SGX enclaves.
  ☆21Updated 5 years ago
• ksplit / ksplit-artifacts
  Artifacts for the paper "KSplit: Automating Device Driver Isolation"
  ☆11Updated 3 years ago