Skip to content
@eurecom-s3

eurecom-s3

Stand-alone projects developed by eurecom-s3. Make sure to also visit https://github.com/avatarone and https://github.com/avatartwo

Popular repositories Loading

  1. symcc symcc Public

    SymCC: efficient compiler-based symbolic execution

    C++ 793 141

  2. symqemu symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    C 339 47

  3. screaming_channels screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    C 144 21

  4. invscov invscov Public

    The Use of Likely Invariants as Feedback for Fuzzers

    C 87 10

  5. hdd_firmware_tools hdd_firmware_tools Public

    Tools for viewing and extracting HDD firmware files

    Python 72 20

  6. actaeon actaeon Public

    Memory forensics of virtualization environments

    Python 46 19

Repositories

Showing 10 of 28 repositories
  • structdiffing Public

    Dataset and artifacts of "A Study on the Evolution of Kernel Data Types Used in Memory Forensics and Their Dependency on Compilation Options" paper presented at DFRWS EU 2025

    Python 0 GPL-2.0 0 0 0 Updated Dec 2, 2024
  • symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    C 339 47 25 4 Updated Nov 4, 2024
  • x-ray-tls Public

    Generic and transparent TLS inspection for local programs

    Jupyter Notebook 18 6 1 1 Updated Oct 24, 2024
  • screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    C 144 GPL-3.0 21 0 0 Updated Aug 4, 2024
  • symcc-rt Public

    SymCC Runtime

    C++ 2 LGPL-3.0 9 0 1 Updated Jul 24, 2024
  • symcc Public

    SymCC: efficient compiler-based symbolic execution

    C++ 793 GPL-3.0 141 45 (1 issue needs help) 7 Updated Jul 16, 2024
  • mmushell Public
    Python 11 GPL-2.0 4 0 1 Updated Jul 3, 2024
  • 19 3 0 0 Updated Mar 15, 2024
  • qsym Public Forked from sslab-gatech/qsym

    QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

    C++ 3 139 0 0 Updated Mar 11, 2024
  • predictive-cs-fuzzing Public

    Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper

    C++ 25 3 1 0 Updated Feb 29, 2024