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).
http://hdl.handle.net/2078.1/280744