Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis.

Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay

Browse the full CRiSIS paper archive.