Giters
eurecom-s3

eurecom-s3

Geek Repo

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 PK Tool:Github PK Tool

eurecom-s3's repositories

symcc

SymCC: efficient compiler-based symbolic execution

Language:C++License:GPL-3.0Stargazers:756Issues:24Issues:93

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

Language:CLicense:NOASSERTIONStargazers:304Issues:18Issues:34

screaming_channels

Radio Side-Channels in Mixed-Signal Chips

Language:CLicense:GPL-3.0Stargazers:140Issues:14Issues:5

invscov

The Use of Likely Invariants as Feedback for Fuzzers

Language:CLicense:Apache-2.0Stargazers:79Issues:16Issues:5

hdd_firmware_tools

Tools for viewing and extracting HDD firmware files

Language:PythonLicense:MITStargazers:70Issues:24Issues:0

actaeon

Memory forensics of virtualization environments

Language:PythonStargazers:45Issues:12Issues:0

linux_screenshot_xwindows

Volatility plugin to extract X screenshots from a memory dump

Language:PythonStargazers:36Issues:8Issues:0

loaders_modeling

Language:PythonStargazers:22Issues:12Issues:3

predictive-cs-fuzzing

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

Language:C++Stargazers:17Issues:16Issues:0

noise-sdr

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

Language:CLicense:GPL-3.0Stargazers:14Issues:12Issues:0

DecodingMLSecretsOfWindowsMalwareClassification

Stargazers:13Issues:7Issues:0

dissecting_afl

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

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

tsxcfi

Prototye Implementation for TSX-based CFI Enforcement

Language:AssemblyStargazers:11Issues:11Issues:0

IdaS2ETracer

IdaS2ETracer: an IDA importer for S2E traces

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

syscall2api

Language:PythonLicense:MITStargazers:9Issues:3Issues:2

tangled_iot

The Tangled Genealogy of IoT Malware

License:MITStargazers:9Issues:12Issues:0

fossil

OS-agnostic tool for data structures recovery

Language:PythonLicense:GPL-2.0Stargazers:8Issues:11Issues:0

mmushell

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

AAl-Khaser

Android Al-Khaser

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

qsym

QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing

Language:C++License:NOASSERTIONStargazers:2Issues:2Issues:0

sdhash_psql

PostgreSQL plugin interface to sdhash/sdbf fuzzyhash library

Language:C++Stargazers:2Issues:8Issues:0

android_nsp

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

Stargazers:1Issues:12Issues:0

JTAGMux

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

Language:ShellStargazers:1Issues:9Issues:0

loaders-models

Language:CStargazers:1Issues:9Issues:1

gr-lora_sdr-noise-sdr

Language:C++License:GPL-3.0Stargazers:0Issues:10Issues:0

symcc-rt

SymCC Runtime

Language:C++License:LGPL-3.0Stargazers:0Issues:9Issues:0

x-ray-tls

Generic and transparent TLS inspection for local programs

Language:Jupyter NotebookStargazers:0Issues:0Issues:0