Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay. Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. In Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens, editors, Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers. Volume 13857 of Lecture Notes in Computer Science, pages 62-68, Springer, 2022. [doi]
Abstract is missing.