Alternatives and similar repositories for SNAP:

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

• vul337 / cfi-eval
  ☆22Updated 4 years ago
• bu-icsg / PHMon
  This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).
  ☆26Updated 4 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆38Updated 5 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆25Updated 2 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆21Updated 2 months ago
• greenlsi / reload_refresh
  Reload+Refresh PoC
  ☆14Updated 5 years ago
• renxida / iseedeaduops-poc
  Proof-of-concept for I See Dead Micro-Ops transient execution attack
  ☆14Updated 3 years ago
• compsec-snu / difuzz-rtl
  ☆84Updated 11 months ago
• Compass-All / CCS22-StrongBox
  ☆31Updated 2 years ago
• sycuricon / MorFuzz
  Artifact evaluation of paper: MorFuzz: Fuzzing Processor via Runtime Instruction Morphing enhanced Synchronizable Co-simulation
  ☆28Updated 2 weeks ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆23Updated 3 years ago
• vusec / fpvi-scsb
  Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks
  ☆21Updated 3 years ago
• jasonyu1996 / elasticlave
  ☆23Updated 2 months ago
• gururaj-s / streamline
  Streamline Covert Channel Attack (presented in ASPLOS'21)
  ☆20Updated 4 years ago
• sslab-gatech / hdfi
  Hardware-assisted Data-flow Isolation
  ☆27Updated 7 years ago
• KULeuven-COSIC / PRIME-SCOPE
  The open-source component of Prime+Scope, published at CCS 2021
  ☆30Updated last year
• SyzTrust / syztrust
  SyzTrust's main repository. Start here to install.
  ☆17Updated last year
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆21Updated 7 years ago
• comparch-security / cache-model
  A behavioural cache model for analysing the cache behaviour under side-channel attack.
  ☆25Updated 7 months ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• sslab-gatech / sgx-bomb
  ☆16Updated 6 years ago
• vusec / tlbdr
  ☆17Updated 2 years ago
• Sen-Deng / CipherH
  CIPHERH: Automated Detection of Ciphertext Side-channel Vulnerabilities in Cryptographic Implementations
  ☆14Updated last year
• vernamlab / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆20Updated 4 years ago
• nagnagnet / PrimeProbe
  ☆18Updated 6 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated 2 years ago
• CactiLab / BYOTee-Build-Your-Own-TEEs
  ☆21Updated last year
• UzL-ITS / sev-ciphertext-side-channels
  Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"
  ☆13Updated 2 years ago
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 7 months ago