UzL-ITS / SEVurity

Related projects ⓘ

Alternatives and complementary repositories for SEVurity

• PSPReverse / Insecure-Until-Proven-Updated-Analyzing-AMD-SEV-s-Remote-Attestation
  ☆13Updated 5 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆60Updated 2 years ago
• ispras / juliet-dynamic
  Juliet C/C++ Dynamic Test Suite
  ☆27Updated last year
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 9 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆20Updated 3 years ago
• securesystemslab / agamotto
  Agamotto: Accelerating Kernel Driver Fuzzing with Lightweight Virtual Machine Checkpoints
  ☆119Updated 4 years ago
• securesystemslab / periscope
  ☆64Updated 5 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆42Updated last year
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆56Updated 6 months ago
• AFLplusplus / AFL-Snapshot-LKM
  A Linux Kernel Module that implements a fast snapshot mechanism for fuzzing.
  ☆135Updated 3 years ago
• dcdelia / dbi-detector
  Collection of DBI evasion techniques
  ☆14Updated 2 years ago
• RUB-SysSec / Nyx
  USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types
  ☆195Updated 3 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆41Updated 6 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆58Updated 2 years ago
• angr / tracer
  Utilities for generating dynamic traces
  ☆88Updated 2 years ago
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• ChengyuSong / Kirenenko
  Super Fast Concolic Execution Engine based on Source Code Taint Tracing
  ☆97Updated 2 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆75Updated 2 years ago
• Agnoctopus / Tartiflette
  Snapshot fuzzing with KVM and LibAFL
  ☆94Updated 2 years ago
• ssl-tud / k-miner
  K-Miner
  ☆72Updated 5 years ago
• vul337 / cfi-eval
  ☆20Updated 4 years ago
• HexHive / SMoTherSpectre
  Proof-of-concept code for the SMoTherSpectre exploit.
  ☆73Updated 5 years ago
• HexHive / CFIXX
  ☆27Updated 6 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 8 months ago
• vul337 / PrIntFuzz
  Code of ISSTA'22: PrIntFuzz: Fuzzing Linux Drivers via Automated Virtual Device Simulation
  ☆57Updated last year
• plummm / SyzScope
  SyzScope is a research project that aims to reveal high-risk security bugs on Syzbot. Learn more details in our paper.
  ☆72Updated last year
• necst / arancino
  Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.
  ☆71Updated 2 years ago
• cgvwzq / evsets
  Tool for testing and finding minimal eviction sets
  ☆95Updated 3 years ago