EPL
Rue Archimède 1/L6.11.01
1348 Louvain-la-Neuve
Assistant
EPL
Rue Archimède 1/L6.11.01
1348 Louvain-la-Neuve
Rousseaux, Tom ; Crochet, Christophe ; Aoga, John ; Legay, Axel. Network Simulator-Centric Compositional Testing. Formal Techniques for Distributed Objects, Components, and Systems 2024 (Groningen, du 18/06/2024 au 20/06/2024). In: Lecture Notes in Computer Science, Vol. 14678, no.2024, p. 177-196 (2024). doi:10.1007/978-3-031-62645-6_10.
Lucca, Serena ; Crochet, Christophe ; Bertrand Van Ouytsel, Charles-Henry ; Legay, Axel. On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr. FPS2023 (Bordeaux, du 11/12/2023 au 13/12/2023).
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.
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.
Crochet, Christophe ; Aoga, John ; Legay, Axel. Formally Discovering and Reproducing Network Protocols Vulnerabilities, 2024. 20 p.
Crochet, Christophe ; Aoga, John ; Legay, Axel. PANTHER: Pluginizable Testing Environment for Network Protocols, 2024. 8 p.