Verifying QUIC implementations using Ivy. - Christophe Crochet; Tom Rousseaux; Maxime Piraux; Jean-François Sambon; Axel Legay (EPIQ@CoNEXT, 2021)

Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. - Charles-Henry Bertrand Van Ouytsel; Christophe Crochet; Khanh-Huu-The Dam; Axel Legay (CRiSIS, 2022)

On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. - Serena Lucca; Christophe Crochet; Charles-Henry Bertrand Van Ouytsel; Axel Legay (FPS (1), 2023)

Network Simulator-Centric Compositional Testing. - Tom Rousseaux; Christophe Crochet; John O. R. Aoga; Axel Legay (FORTE, 2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities. - Christophe Crochet; John O. R. Aoga; Axel Legay (NordSec, 2024)

PANTHER: Pluginizable Testing Environment for Network Protocols. - Christophe Crochet; John O. R. Aoga; Axel Legay (CoRR, 2025)