All Stories

  1. Hybrid Path-Sums for Hybrid Quantum Programs

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

    Michaël Marcozzi, Christophe Chareton

  2. Augmenting Search-based Program Synthesis with Local Inference Rules to Improve Black-box Deobfuscation

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

    Michaël Marcozzi

  3. CheckMATE '25: Research on Offensive and Defensive Techniques in the Context of Man At The End (MATE) Attacks

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

    Michaël Marcozzi

  4. Quantitative Robustness for Vulnerability Assessment

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

    Michaël Marcozzi

  5. Fine-grained Coverage-based Fuzzing

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

    Michaël Marcozzi, Christophe Hauser, Michaël Marcozzi, Bernard Nongpoh

  6. Fine-grained Coverage-based Fuzzing - RCR Report

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

    Michaël Marcozzi, Michaël Marcozzi, Christophe Hauser, Bernard Nongpoh

  7. Inference of Robust Reachability Constraints

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

    Michaël Marcozzi

  8. Scalable Program Clone Search through Spectral Analysis

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

    Michaël Marcozzi

  9. 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

  10. 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

  11. Search-Based Local Black-Box Deobfuscation

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

    Michaël Marcozzi

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

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

    Michaël Marcozzi

  13. Time to clean your test objectives

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

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