User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 3 results.
    • Speech
    Verifying QUIC implementations using Ivy
    Crochet, Christophe[UCL] Rousseaux, Tom[UCL] Piraux, Maxime[UCL] Sambon, Jean-François[UCL] Legay, Axel[UCL] (2021) ACM CoNEXT 2021 Workshop on the Evolution, Performance, and Interoperability of QUIC — Germany
    • Speech
    Tool paper - SEMA: Symbolic Execution toolchain for Malware Analysis
    Bertrand Van Ouytsel, Charles-Henry[UCL] Crochet, Christophe[UCL] Legay, Axel[UCL] (2022) 17th International Conference on Risks and Security of Internet and Systems —
    • Speech
    On Exploiting Symbolic Execution to Improve the Analysis of RAT Samples with angr
    Lucca, Serena[UCL] Crochet, Christophe[UCL] Bertrand Van Ouytsel, Charles-Henry[UCL] Legay, Axel[UCL] (2023) FPS2023 — Bordeaux