All Stories

  1. Quantitative Robustness for Vulnerability Assessment

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

    Michaël Marcozzi

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

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

  4. Inference of Robust Reachability Constraints

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

    Michaël Marcozzi

  5. Scalable Program Clone Search through Spectral Analysis

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

    Michaël Marcozzi

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

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

  8. Search-Based Local Black-Box Deobfuscation

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

    Michaël Marcozzi

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

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

    Michaël Marcozzi

  10. Time to clean your test objectives

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

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