Giters
eurecom-s3

eurecom-s3

Organization data from Github https://github.com/eurecom-s3

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

Home Page:s3.eurecom.fr

GitHub:@eurecom-s3

eurecom-s3's repositories

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:843Issues:22Issues:97

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

Language:CLicense:NOASSERTIONStargazers:361Issues:20Issues:43

screaming_channels

Radio Side-Channels in Mixed-Signal Chips

Language:CLicense:GPL-3.0Stargazers:150Issues:14Issues:6

invscov

The Use of Likely Invariants as Feedback for Fuzzers

Language:CLicense:Apache-2.0Stargazers:90Issues:17Issues:5

lemon

eBPF Memory Dump Tool

Language:CLicense:GPL-2.0Stargazers:90Issues:11Issues:1

hdd_firmware_tools

Tools for viewing and extracting HDD firmware files

Language:PythonLicense:MITStargazers:75Issues:22Issues:0

actaeon

Memory forensics of virtualization environments

Language:PythonStargazers:47Issues:12Issues:0

linux_screenshot_xwindows

Volatility plugin to extract X screenshots from a memory dump

Language:PythonStargazers:37Issues:8Issues:0

predictive-cs-fuzzing

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

Language:C++Stargazers:30Issues:17Issues:1

loaders_modeling

Language:PythonStargazers:25Issues:13Issues:3

x-ray-tls

Generic and transparent TLS inspection for local programs

Language:Jupyter NotebookStargazers:24Issues:11Issues:3

DecodingMLSecretsOfWindowsMalwareClassification

Stargazers:18Issues:8Issues:0

noise-sdr

Noise-SDR: Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security

Language:CLicense:GPL-3.0Stargazers:17Issues:13Issues:0

AAl-Khaser

Android Al-Khaser

Language:CLicense:Apache-2.0Stargazers:15Issues:8Issues:0

dissecting_afl

Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper

Language:HTMLLicense:Apache-2.0Stargazers:13Issues:12Issues:0

fossil

OS-agnostic tool for data structures recovery

Language:PythonLicense:GPL-2.0Stargazers:13Issues:12Issues:0

mmushell

Language:PythonLicense:GPL-2.0Stargazers:13Issues:14Issues:0

IdaS2ETracer

IdaS2ETracer: an IDA importer for S2E traces

Language:C++License:Apache-2.0Stargazers:12Issues:11Issues:0

tangled_iot

The Tangled Genealogy of IoT Malware

License:MITStargazers:12Issues:12Issues:0

tsxcfi

Prototye Implementation for TSX-based CFI Enforcement

Language:AssemblyStargazers:12Issues:11Issues:0

syscall2api

Language:PythonLicense:MITStargazers:10Issues:3Issues:2

JTAGMux

Simple JTAG Multiplexer, to allow controlling a device over JTAG from FPGA (2 PMOD connctors) or a standard JTAG debugger

Language:ShellStargazers:5Issues:12Issues:0

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:4Issues:3Issues:0

loaders-models

Language:CStargazers:3Issues:10Issues:1

sdhash_psql

PostgreSQL plugin interface to sdhash/sdbf fuzzyhash library

Language:C++Stargazers:3Issues:7Issues:0

symcc-rt

SymCC Runtime

Language:C++License:LGPL-3.0Stargazers:3Issues:12Issues:0

android_nsp

Repository for the USENIX Security '20 Paper: "Towards HTTPS Everywhere on Android: We Are Not There Yet"

Stargazers:2Issues:12Issues:0

gr-lora_sdr-noise-sdr

Language:C++License:GPL-3.0Stargazers:1Issues:11Issues:0

strata

Language:PythonStargazers:0Issues:0Issues:0

structdiffing

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

Language:PythonLicense:GPL-2.0Stargazers:0Issues:7Issues:0