All Stories

  1. Fine-Grained Coverage-Based Fuzzing - RCR Report

    Article • ACM Transactions on Software Engineering and Methodology, February 2024, ACM (Association for Computing Machinery)

    Michaël Marcozzi, Michaël Marcozzi, Christophe Hauser

  2. Inference of Robust Reachability Constraints

    Article • Proceedings of the ACM on Programming Languages, January 2024, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  3. Scalable Program Clone Search through Spectral Analysis

    Article • November 2023, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  4. A Systematic Evaluation of Automated Tools for Side-Channel Vulnerabilities Detection in Cryptographic Libraries

    Article • November 2023, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  5. Fine-Grained Coverage-Based Fuzzing

    Article • ACM Transactions on Software Engineering and Methodology, March 2023, ACM (Association for Computing Machinery)

    Michaël Marcozzi, Christophe Hauser, Michaël Marcozzi

  6. Binsec/Rel: Symbolic Binary Analyzer for Security with Applications to Constant-Time and Secret-Erasure

    Article • ACM Transactions on Privacy and Security, September 2022, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  7. Search-Based Local Black-Box Deobfuscation

    Article • November 2021, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  8. Search-Based Local Black-Box Deobfuscation: Understand, Improve and Mitigate

    Article • November 2021, ACM (Association for Computing Machinery)

    Michaël Marcozzi

  9. Time to clean your test objectives

    Article • May 2018, ACM (Association for Computing Machinery)

    Dr Mike PAPADAKIS, Michaël Marcozzi, Michaël Marcozzi