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++ 884 155

  2. symqemu symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    C 379 54

  3. screaming_channels screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    C 153 23

  4. lemon lemon Public

    eBPF Memory Dump Tool

    C 118 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 79 21

Repositories

Showing 10 of 35 repositories
  • lemon Public

    eBPF Memory Dump Tool

    eurecom-s3/lemon's past year of commit activity
    C 118 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++ 884 GPL-3.0 155 49 (1 issue needs help) 9 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 153 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 379 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

Top languages

Loading…

Most used topics

Loading…