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]
@inproceedings{OuytselCDL22,
title = {Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis},
author = {Charles-Henry Bertrand Van Ouytsel and Christophe Crochet and Khanh-Huu-The Dam and Axel Legay},
year = {2022},
doi = {10.1007/978-3-031-31108-6_5},
url = {https://doi.org/10.1007/978-3-031-31108-6_5},
researchr = {https://researchr.org/publication/OuytselCDL22},
cites = {0},
citedby = {0},
pages = {62-68},
booktitle = {Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers},
editor = {Slim Kallel and Mohamed Jmaiel and Mohammad Zulkernine and Ahmed Hadj Kacem and Frédéric Cuppens and Nora Cuppens},
volume = {13857},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-31108-6},
}