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++ 886 159

  2. symqemu symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    C 380 54

  3. screaming_channels screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    C 154 23

  4. lemon lemon Public

    eBPF Memory Dump Tool

    C 120 13

  5. invscov invscov Public

    The Use of Likely Invariants as Feedback for Fuzzers

    C 93 11

  6. hdd_firmware_tools hdd_firmware_tools Public

    Tools for viewing and extracting HDD firmware files

    Python 80 21

Repositories

Showing 10 of 35 repositories
  • lemon Public

    eBPF Memory Dump Tool

    eurecom-s3/lemon's past year of commit activity
    C 120 GPL-2.0 13 1 0 Updated May 7, 2026
  • lemon-btf2json Public
    eurecom-s3/lemon-btf2json's past year of commit activity
    Rust 0 MIT 0 0 0 Updated May 7, 2026
  • volatility3-arm64 Public

    Volatility 3.0 with ARM64 support

    eurecom-s3/volatility3-arm64's past year of commit activity
    Python 1 0 0 0 Updated May 7, 2026
  • symcc Public

    SymCC: efficient compiler-based symbolic execution

    eurecom-s3/symcc's past year of commit activity
    C++ 886 GPL-3.0 159 49 (1 issue needs help) 10 Updated Mar 16, 2026
  • macos-malware-dataset Public
    eurecom-s3/macos-malware-dataset's past year of commit activity
    Python 0 0 0 0 Updated Dec 24, 2025
  • resilience-dataset Public

    Dataset of "Resilience of Forensic Evidence Acquisition Under Database Schema Drift" research paper

    eurecom-s3/resilience-dataset's past year of commit activity
    0 0 0 0 Updated Dec 8, 2025
  • lemon-experiments Public
    eurecom-s3/lemon-experiments's past year of commit activity
    Rust 0 MIT 0 0 0 Updated Dec 8, 2025
  • screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    eurecom-s3/screaming_channels's past year of commit activity
    C 154 GPL-3.0 23 0 0 Updated Jun 25, 2025
  • symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    eurecom-s3/symqemu's past year of commit activity
    C 380 54 27 6 Updated May 5, 2025
  • symcc-rt Public

    SymCC Runtime

    eurecom-s3/symcc-rt's past year of commit activity
    C++ 4 LGPL-3.0 17 0 2 Updated Apr 22, 2025
View all repositories

Most used topics

Loading…