Christophe Crochet

Assistant

SST/EPL -- Ecole Polytechnique de Louvain

SST/ICTM -- Institute of Information and Communication Technologies, Electronics and Applied Mathematics (ICTM)

SST/ICTM/INGI -- Pôle en ingénierie informatique

Adresse postale

EPL
Rue Archimède 1/L6.11.01
1348 Louvain-la-Neuve

Courriel

christophe.crochet@uclouvain.be

INGI

N° tél.

+32 10 47 83 73

Secrétariat

+32 10 47 31 50

ConferencePaper

2022

Bertrand Van Ouytsel, Charles-Henry ; Crochet, Christophe ; Legay, Axel. Tool paper - SEMA: Symbolic Execution toolchain for Malware Analysis. 17th International Conference on Risks and Security of Internet and Systems. In: CRiSIS '22: Proceedings of the 17th International Conference on Risks and Security of Internet and Systems, 2022. 9783031020667.

http://hdl.handle.net/2078.1/267919

2021

Crochet, Christophe ; Rousseaux, Tom ; Piraux, Maxime ; Sambon, Jean-François ; Legay, Axel. Verifying QUIC implementations using Ivy. ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC (Germany, du 07/12/2021 au 07/12/2021), (2021). doi:10.1145/3488660.3493803 (Accepté/Sous presse).

http://hdl.handle.net/2078.1/252745