Alternatives and similar repositories for smv

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

• HexHive / ShadowStack

  View on GitHub
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆39May 2, 2020Updated 5 years ago
• sushant94 / libsmt.rs

  View on GitHub
  Rust Bindings to interact with SMTLIB2 compliant solvers
  ☆17Jun 3, 2019Updated 6 years ago
• novafacing / libc-fuzzer

  View on GitHub
  A fuzzer setup to fuzz libc functions.
  ☆16Aug 30, 2022Updated 3 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• HexHive / mitiGate

  View on GitHub
  Benchmark to test different stop the exploit mitigations
  ☆18Jan 8, 2019Updated 7 years ago
• light1021 / SGX-protected-fs-demo

  View on GitHub
  SGX protected filesystem demo
  ☆12Jul 28, 2017Updated 8 years ago
• mcfi / MCFI

  View on GitHub
  MCFI/PICFI tool chain
  ☆45Mar 21, 2024Updated last year
• Maxul / Aurora

  View on GitHub
  Trusted I/O Paths for SGX Enclaves
  ☆18Apr 30, 2020Updated 5 years ago
• zeyu-zh / TrustFL

  View on GitHub
  ☆19Jul 9, 2020Updated 5 years ago
• vusec / memsentry

  View on GitHub
  Open-source release for MemSentry (EuroSys'17)
  ☆47May 5, 2021Updated 4 years ago
• larkmjc / rv8-bench

  View on GitHub
  rv8 benchmark suite
  ☆23Jul 30, 2020Updated 5 years ago
• sam1013 / timberv-riscv-tools

  View on GitHub
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆23May 9, 2019Updated 6 years ago
• jaebaek / SGX-Shield

  View on GitHub
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆49Apr 15, 2018Updated 7 years ago
• sslab-gatech / libmpk

  View on GitHub
  ☆51Nov 15, 2021Updated 4 years ago
• vul337 / cfi-eval

  View on GitHub
  ☆22Nov 12, 2020Updated 5 years ago
• kcfi / kcfi

  View on GitHub
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Feb 19, 2020Updated 5 years ago
• sslab-gatech / hdfi

  View on GitHub
  Hardware-assisted Data-flow Isolation
  ☆29Jan 28, 2018Updated 8 years ago
• IPADS-DuVisor / kvm-tutorial

  View on GitHub
  ☆23Jun 14, 2023Updated 2 years ago
• epfl-dcsl / gotee

  View on GitHub
  ☆28Sep 9, 2020Updated 5 years ago
• draperlaboratory / hope-RIPE

  View on GitHub
  A port of the RIPE suite to RISC-V.
  ☆29Oct 10, 2018Updated 7 years ago
• yerzhan7 / SGX_SQLite

  View on GitHub
  SQLite database inside a secure Intel SGX enclave (Linux)
  ☆60Sep 26, 2018Updated 7 years ago
• j0sh / radixtree

  View on GitHub
  The finest radix tree this side of the Linux kernel.
  ☆34Oct 20, 2015Updated 10 years ago
• keystone-enclave / keystone-demo

  View on GitHub
  Demo host and enclave applications exercising most functionality.
  ☆32Jun 12, 2023Updated 2 years ago
• miberk / jolda

  View on GitHub
  Java implementation of Online LDA Algorithm
  ☆15Dec 24, 2013Updated 12 years ago
• fortanix / baklava

  View on GitHub
  Fortanix Baklava Design System
  ☆15Feb 6, 2026Updated last week
• PulseRain / Rattlesnake

  View on GitHub
  PulseRain Rattlesnake - RISCV RV32IMC Soft CPU
  ☆34Nov 3, 2019Updated 6 years ago
• ctz / sgx-pwenclave

  View on GitHub
  Using SGX to harden password hashing
  ☆34Jan 17, 2016Updated 10 years ago
• sslab-gatech / aslr-guard

  View on GitHub
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆37Feb 24, 2016Updated 9 years ago
• ilebedev / sanctum

  View on GitHub
  The MIT Sanctum processor top-level project
  ☆31Apr 7, 2020Updated 5 years ago
• HyperEnclave / atc22-ae

  View on GitHub
  ☆32Jul 11, 2022Updated 3 years ago
• mit-ll / HAKC

  View on GitHub
  ☆38Feb 15, 2022Updated 3 years ago
• janvrany / riscv-debian

  View on GitHub
  A set of scripts to build a (somewhat) working Debian image for RISC-V.
  ☆34Aug 30, 2023Updated 2 years ago
• acsl-technion / eleos

  View on GitHub
  ExitLess services for SGX enclaves
  ☆34Sep 10, 2019Updated 6 years ago
• myriadmobile / fortune

  View on GitHub
  A fun, spinnable, flingable, wheel selector View for Android
  ☆12Jul 5, 2015Updated 10 years ago
• yuwangying / PyCTP

  View on GitHub
  CTP with python3.4.3
  ☆10Aug 1, 2017Updated 8 years ago
• ix-project / dune

  View on GitHub
  ☆33Aug 20, 2018Updated 7 years ago
• Compass-All / SHELTER

  View on GitHub
  ☆35Jul 23, 2023Updated 2 years ago
• Machiry / understanding-clang-llvm

  View on GitHub
  Repository for understanding and writing LLVM passes.
  ☆34Jul 29, 2019Updated 6 years ago
• slavaim / Linux-kernel-modules

  View on GitHub
  A collection of Linux kernel modules for educational purposes
  ☆39Oct 7, 2016Updated 9 years ago