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++ 813 144

  2. symqemu symqemu Public

    SymQEMU: Compilation-based symbolic execution for binaries

    C 346 47

  3. screaming_channels screaming_channels Public

    Radio Side-Channels in Mixed-Signal Chips

    C 145 22

  4. invscov invscov Public

    The Use of Likely Invariants as Feedback for Fuzzers

    C 89 10

  5. hdd_firmware_tools hdd_firmware_tools Public

    Tools for viewing and extracting HDD firmware files

    Python 73 20

  6. lemon lemon Public

    eBPF Memory Dump Tool

    C 70 10

Repositories

Showing 10 of 30 repositories
View all repositories

Top languages

Loading…

Most used topics

Loading…