Christophe Crochet

According to our database, Christophe Crochet authored at least 4 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Network Simulator-Centric Compositional Testing.

Tom Rousseaux, Christophe Crochet, John O. R. Aoga, Axel Legay

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2024

2023

On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr.

Serena Lucca, Christophe Crochet, Charles-Henry Bertrand Van Ouytsel, Axel Legay

Proceedings of the Foundations and Practice of Security - 16th International Symposium, 2023

2022

Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis.

Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay

Proceedings of the Risks and Security of Internet and Systems, 2022

2021

Verifying QUIC implementations using Ivy.

Christophe Crochet, Tom Rousseaux, Maxime Piraux, Jean-François Sambon, Axel Legay

Proceedings of the EPIQ '21: Proceedings of the 2021 Workshop on Evolution, 2021