Cyphysecurity/SAVIOR external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Cyphysecurity/SAVIOR

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Cyphysecurity/SAVIOR)

Close

Cyphysecurity / SAVIORView on GitHubMore

• External links
• Readme badge

☆21Oct 9, 2020Updated 5 years ago

Alternatives and similar repositories for SAVIOR

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

• hongjun9 / CPS_Invariant

  View on GitHub
  Detecting Attacks Against Robotic Vehicles: A Control Invariant Approach
  ☆15Oct 20, 2020Updated 5 years ago
• yuqiChen94 / Swat_Simulator

  View on GitHub
  ☆14Dec 27, 2020Updated 5 years ago
• shwetasshinde24 / BesFS

  View on GitHub
  A POSIX Filesystem for Enclaves with a Mechanized Safety Proof
  ☆17Sep 20, 2019Updated 6 years ago
• uni-due-syssec / teerex-exploits

  View on GitHub
  PoC exploits against various SGX enclaves
  ☆14May 19, 2022Updated 3 years ago
• XiaoShawnZhu / MPBond

  View on GitHub
  A network-level collaboration framework for personal mobile devices
  ☆15Jun 24, 2020Updated 5 years ago
• cclinus / AV-Fuzzer

  View on GitHub
  ☆40Sep 12, 2025Updated 5 months ago
• marcono / cloth

  View on GitHub
  a Lightning Network simulator
  ☆21Jun 11, 2021Updated 4 years ago
• BlackJocker1995 / ICSearcher

  View on GitHub
  ☆22Jan 14, 2025Updated last year
• notem / reWeFDE

  View on GitHub
  Reimplementation of the WeFDE information leakage analysis technique for website fingerprinting analysis in Python3.
  ☆23Oct 30, 2020Updated 5 years ago
• asvath / cadcd

  View on GitHub
  Tools for the CADCD dataset
  ☆24Aug 30, 2019Updated 6 years ago
• earlence / SmartThingsAnalysisTools

  View on GitHub
  SmartThings Analysis Tools
  ☆25Apr 23, 2016Updated 9 years ago
• hku-systems / SOTER

  View on GitHub
  ☆29Oct 27, 2023Updated 2 years ago
• bh6aol / mmHPE

  View on GitHub
  This repository represents the official implementation of the mmHPE.
  ☆12Oct 12, 2024Updated last year
• andyzoujm / breaking-llama-guard

  View on GitHub
  Code to break Llama Guard
  ☆32Dec 7, 2023Updated 2 years ago
• WUSTL-CSPL / RT-TEE

  View on GitHub
  ☆29Dec 16, 2022Updated 3 years ago
• SvTPM-impl / SvTPM

  View on GitHub
  vTPM with SGX protection
  ☆11May 30, 2019Updated 6 years ago
• mitkina / dogma

  View on GitHub
  Dynamic Occupancy Grid Maps
  ☆45Mar 25, 2019Updated 6 years ago
• travitch / llvm-analysis

  View on GitHub
  A library for analyzing LLVM bitcode in Haskell
  ☆44Oct 9, 2014Updated 11 years ago
• hudongloop / CharacterMotionStyleTransfer

  View on GitHub
  Character Motion Style Transfer
  ☆11Nov 7, 2018Updated 7 years ago
• sssecret2019 / mytee

  View on GitHub
  ☆41Feb 26, 2023Updated 3 years ago
• yonsei-sslab / asgard

  View on GitHub
  The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…
  ☆14Oct 16, 2025Updated 4 months ago
• chintran27 / CDStore

  View on GitHub
  Convergent Dispersal Deduplication Datastore
  ☆10Jan 21, 2016Updated 10 years ago
• strongcourage / PoCs

  View on GitHub
  My PoCs
  ☆10Apr 5, 2020Updated 5 years ago
• yifengchen-cc / AFLplusplusSmart

  View on GitHub
  AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)
  ☆11Oct 20, 2020Updated 5 years ago
• OSUSecLab / SGX-Enclave-Formal-Verification

  View on GitHub
  Tamarin models for state continuity of SGX enclave programs
  ☆14Aug 6, 2021Updated 4 years ago
• jackiedinh8 / libusnet

  View on GitHub
  A netmap-based userspace network stack.
  ☆10May 7, 2015Updated 10 years ago
• roddux / fffz

  View on GitHub
  funky fun fuzzer
  ☆11Jul 6, 2021Updated 4 years ago
• intel / sgx-gmp

  View on GitHub
  ☆13Aug 4, 2022Updated 3 years ago
• adilahmad17 / Veil

  View on GitHub
  ☆11Jun 10, 2024Updated last year
• WUSTL-CSPL / PolyRhythm

  View on GitHub
  -
  ☆11Dec 18, 2022Updated 3 years ago
• stresch / pingpong

  View on GitHub
  This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…
  ☆18Nov 24, 2017Updated 8 years ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• shiyonglu / SecDATAVIEW

  View on GitHub
  A Secure Version of DATAVIEW using SGX techniques.
  ☆10Jul 6, 2021Updated 4 years ago
• CryptoAPI-Bench / CryptoAPI-Bench

  View on GitHub
  ☆11Jan 10, 2024Updated 2 years ago
• thinkmoore / llvm-analysis

  View on GitHub
  Static analysis for llvm
  ☆20Mar 31, 2015Updated 10 years ago
• mechaphish / compilerex

  View on GitHub
  POV templates and compilation support for CGC binaries.
  ☆10May 19, 2022Updated 3 years ago
• thomasrokicki / in-search-of-lost-time

  View on GitHub
  ☆11Mar 17, 2021Updated 4 years ago
• hongjun9 / CPinconsistency

  View on GitHub
  Cyber-Physical Inconsistency Identification for Safety Checks in Robotic Vehicles
  ☆10Oct 13, 2022Updated 3 years ago
• alessandrotrisolini / hostapd

  View on GitHub
  Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment
  ☆11Sep 5, 2017Updated 8 years ago