Christophe Crochet

According to our database, Christophe Crochet authored at least 2 papers between 2021 and 2022.

Collaborative distances:

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

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