Alternatives and similar repositories for obelix

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

• UzL-ITS / tdxdown
  Software Artifacts for the paper "TDXdown: Single-Stepping and Instruction Counting Attacks against Intel TDX"
  ☆16Updated 10 months ago
• sev-step / sev-step
  This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…
  ☆42Updated last year
• PKU-ASAL / WASEM
  WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
  ☆14Updated 11 months ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆37Updated 3 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
  ☆26Updated 2 years ago
• KULeuven-COSIC / PRIME-SCOPE
  The open-source component of Prime+Scope, published at CCS 2021
  ☆34Updated 2 years ago
• ZiwenWan / Program-Dependence-Graph-in-LLVM
  ☆38Updated last year
• cla7aye15I4nd / CAMP
  CAMP: Compiler and Allocator-based Heap Memory Protection (USENIX Security 2024) ✨ Please give a star to https://github.com/cla7aye15I4nd…
  ☆44Updated last year
• zzrcxb / LLCFeasible
  Open-source release of "Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud" (ASPLOS '24)
  ☆26Updated 5 months ago
• vul337 / cfi-eval
  ☆22Updated 4 years ago
• umnsec / mlta
  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets
  ☆96Updated last month
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆24Updated 4 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆26Updated last year
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆51Updated 5 months ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆59Updated 3 months ago
• libtea / frameworks
  Microarchitectural attack development frameworks for prototyping attacks in native code (C, C++, ASM) and in the browser
  ☆61Updated 3 years ago
• 0xADE1A1DE / Mastik
  ☆114Updated 2 years ago
• compsec-snu / difuzz-rtl
  ☆93Updated last year
• taptipalit / dynpta
  ☆14Updated 4 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆43Updated 4 years ago
• PittECEArch / AdversarialPrefetch
  ☆19Updated 3 years ago
• shamedgh / temporal-specialization
  This repository contains the source code related to the research paper titled "Temporal System Call Specialization for Attack Surface Red…
  ☆37Updated 9 months ago
• sssecret2019 / mytee
  ☆38Updated 2 years ago
• s3team / DeepType
  ☆25Updated 3 weeks ago
• seclab-ucr / SUTURE
  Precise and high-order static points-to/taint analysis based on LLVM IR.
  ☆83Updated 2 months ago
• vusec / fpvi-scsb
  Rage Against The Machine Clear: A Systematic Analysis of Machine Clears and Their Implications for Transient Execution Attacks
  ☆23Updated 4 years ago
• hw-sw-contracts / revizor
  Fuzzer that searches for vulnerabilities like Spectre and Meltdown in CPUs
  ☆41Updated 2 years ago
• ya0guang / PoBF
  Proof of Being Fogotten (PoBF) and PoBF-Compliant Framework (PoCF) prototypes.
  ☆20Updated 2 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 6 years ago