Skip to content

@eurecom-s3 eurecom-s3

Change the repository type filter

All

    Repositories list

    27 repositories

    • symqemu

      Public
      SymQEMU: Compilation-based symbolic execution for binaries
      C
      •
      Other
      •45•333•24•4•Updated Nov 4, 2024Nov 4, 2024

    • x-ray-tls

      Public
      Generic and transparent TLS inspection for local programs
      tlsnetwork-analysis
      Jupyter Notebook
      •6•18•1•1•Updated Oct 24, 2024Oct 24, 2024

    • screaming_channels

      Public
      Radio Side-Channels in Mixed-Signal Chips
      radioside-channelsideside-channel-attacksmixed-signal-chipsscreaming-channels
      C
      •
      GNU General Public License v3.0
      •21•144•0•0•Updated Aug 4, 2024Aug 4, 2024

    • symcc-rt

      Public
      SymCC Runtime
      C++
      •
      GNU Lesser General Public License v3.0
      •8•1•0•1•Updated Jul 24, 2024Jul 24, 2024

    • symcc

      Public
      SymCC: efficient compiler-based symbolic execution
      C++
      •
      GNU General Public License v3.0
      •139•791•44•7•Updated Jul 16, 2024Jul 16, 2024

    • mmushell

      Public
      Python
      •
      GNU General Public License v2.0
      •4•11•0•1•Updated Jul 3, 2024Jul 3, 2024

    • DecodingMLSecretsOfWindowsMalwareClassification

      Public
      3•18•0•0•Updated Mar 15, 2024Mar 15, 2024

    • qsym

      Public
      QSYM: A Practical Concolic Execution Engine Tailored for Hybrid Fuzzing
      C++
      •
      Other
      •135•2•0•0•Updated Mar 11, 2024Mar 11, 2024

    • predictive-cs-fuzzing

      Public
      Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper
      C++
      •3•24•1•0•Updated Feb 29, 2024Feb 29, 2024

    • fossil

      Public
      OS-agnostic tool for data structures recovery
      Python
      •
      GNU General Public License v2.0
      •5•10•0•0•Updated Feb 27, 2024Feb 27, 2024

    • AAl-Khaser

      Public
      Android Al-Khaser
      C
      •
      Apache License 2.0
      •3•12•0•0•Updated Dec 12, 2023Dec 12, 2023

    • loaders_modeling

      Public
      Python
      •4•24•0•0•Updated Feb 9, 2023Feb 9, 2023

    • dissecting_afl

      Public
      Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper
      HTML
      •
      Apache License 2.0
      •2•13•0•0•Updated Oct 3, 2022Oct 3, 2022

    • invscov

      Public
      The Use of Likely Invariants as Feedback for Fuzzers
      C
      •
      Apache License 2.0
      •10•87•4•0•Updated Jan 19, 2022Jan 19, 2022

    • noise-sdr

      Public
      Noise-SDR: Arbitrary Modulation of Electromagnetic Noise from Unprivileged Software and Its Impact on Emission Security
      C
      •
      GNU General Public License v3.0
      •2•16•0•0•Updated Dec 9, 2021Dec 9, 2021

    • gr-lora_sdr-noise-sdr

      Public
      C++
      •
      GNU General Public License v3.0
      •1•1•0•0•Updated Dec 5, 2021Dec 5, 2021

    • JTAGMux

      Public
      Simple JTAG Multiplexer, to allow controlling a device over JTAG from FPGA (2 PMOD connctors) or a standard JTAG debugger
      Shell
      •1•2•0•0•Updated Nov 30, 2021Nov 30, 2021

    • loaders-models

      Public
      C
      •1•3•0•0•Updated Oct 28, 2021Oct 28, 2021

    • tangled_iot

      Public
      The Tangled Genealogy of IoT Malware
      MIT License
      •7•11•0•0•Updated Jan 5, 2021Jan 5, 2021

    • syscall2api

      Public
      Python
      •
      MIT License
      •1•10•1•1•Updated Oct 13, 2020Oct 13, 2020

    • android_nsp

      Public
      Repository for the USENIX Security '20 Paper: "Towards HTTPS Everywhere on Android: We Are Not There Yet"
      1•2•0•0•Updated Aug 12, 2020Aug 12, 2020

    • linux_screenshot_xwindows

      Public
      Volatility plugin to extract X screenshots from a memory dump
      Python
      •5•37•0•0•Updated May 15, 2018May 15, 2018

    • tsxcfi

      Public
      Prototye Implementation for TSX-based CFI Enforcement
      Assembly
      •2•12•0•0•Updated Jan 16, 2017Jan 16, 2017

    • IdaS2ETracer

      Public
      IdaS2ETracer: an IDA importer for S2E traces
      C++
      •
      Apache License 2.0
      •3•12•0•0•Updated Jan 27, 2016Jan 27, 2016

    • actaeon

      Public
      Memory forensics of virtualization environments
      Python
      •19•46•0•0•Updated Oct 4, 2014Oct 4, 2014

    • hdd_firmware_tools

      Public
      Tools for viewing and extracting HDD firmware files
      Python
      •
      MIT License
      •20•72•0•0•Updated Oct 1, 2014Oct 1, 2014

    • sdhash_psql

      Public
      PostgreSQL plugin interface to sdhash/sdbf fuzzyhash library
      C++
      •2•3•0•0•Updated Oct 3, 2013Oct 3, 2013