eurecom-s3/invscov

Stars
84
Rank 389,211 (Top 8 %)
Language
C
License
Apache License 2.0
Created over 3 years ago
Updated almost 3 years ago

eurecom-s3/invscov

eurecom-s3

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The Use of Likely Invariants as Feedback for Fuzzers

symcc

SymCC: efficient compiler-based symbolic execution

symqemu

SymQEMU: Compilation-based symbolic execution for binaries

screaming_channels

Radio Side-Channels in Mixed-Signal Chips

hdd_firmware_tools

Tools for viewing and extracting HDD firmware files

actaeon

Memory forensics of virtualization environments

linux_screenshot_xwindows

Volatility plugin to extract X screenshots from a memory dump

loaders_modeling

predictive-cs-fuzzing

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

DecodingMLSecretsOfWindowsMalwareClassification

noise-sdr

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

AAl-Khaser

Android Al-Khaser

tsxcfi

Prototye Implementation for TSX-based CFI Enforcement

IdaS2ETracer

IdaS2ETracer: an IDA importer for S2E traces

dissecting_afl

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

tangled_iot

The Tangled Genealogy of IoT Malware

syscall2api

mmushell

fossil

OS-agnostic tool for data structures recovery

sdhash_psql

PostgreSQL plugin interface to sdhash/sdbf fuzzyhash library

JTAGMux

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

android_nsp

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

loaders-models