intel / HBFA-FL

Related projects ⓘ

Alternatives and complementary repositories for HBFA-FL

• shijunjing / edk2
  EDK II
  ☆16Updated 6 months ago
• Ledger-Donjon / ledger-donjon-ctf-2020
  Ledger Donjon CTF 2020
  ☆17Updated 3 years ago
• intel-tools / srs
  GitHub Actions based repository scanning workflows with a primary goal of evaluating C & C++ repositories for risks.
  ☆17Updated last month
• IntelLabs / PreSiFuzz
  Pre-Silicon Hardware Fuzzing Toolkit
  ☆53Updated 3 weeks ago
• Sentinel-One / brick
  ☆89Updated 5 months ago
• IntelLabs / kafl.linux
  Linux kernel branches for confidential compute research
  ☆16Updated 3 weeks ago
• IntelLabs / kafl.fuzzer
  kAFL Fuzzer
  ☆33Updated 2 months ago
• IAIK / msrevelio
  ☆34Updated last year
• WorksButNotTested / lightkeeper
  ☆59Updated 2 months ago
• heki-linux / linux
  Linux kernel source tree patched with Hypervisor-Enforced Kernel Integrity
  ☆10Updated last year
• novafacing / libc-fuzzer
  A fuzzer setup to fuzz libc functions.
  ☆15Updated 2 years ago
• vusec / kasper
  Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel
  ☆56Updated 6 months ago
• intel / tsffs
  A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS
  ☆276Updated last week
• amdprefetch / amd-prefetch-attacks
  ☆23Updated 9 months ago
• enascimento / firmware-security-training
  Intel ATR Training: Security of BIOS/UEFI System Firmware from Attacker and Defender Perspectives
  ☆92Updated 7 years ago
• intel / vmtaint
  Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.
  ☆39Updated last year
• quarkslab / tritondse
  Triton-based DSE library with loading and exploration capabilities (and more!)
  ☆107Updated 3 weeks ago
• cispa / osiris
  Proof-of-concept implementation for the paper "Osiris: Automated Discovery of Microarchitectural Side Channels" (USENIX Security'21)
  ☆54Updated 2 years ago
• Cisco-Talos / Barbervisor
  Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.
  ☆166Updated 3 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆35Updated 3 years ago
• EugeneDMyers / STM
  ☆16Updated last year
• ohjeongwook / iptanalyzer
  Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support
  ☆69Updated last year
• v-p-b / rabbithole
  Cumulative cyclomatic complexity calculation for Ghidra
  ☆20Updated 3 years ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆66Updated last month
• flowyroll / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆20Updated 4 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
• pietroborrello / constantine
  Constantine is a compiler-based system to automatically harden programs against microarchitectural side channels
  ☆69Updated last year
• fuzzware-fuzzer / hoedur
  ☆56Updated 6 months ago
• pietroborrello / RopDaemon
  A fast, multithreaded, ROP-gadget semantics analyzer.
  ☆49Updated 3 years ago