MADLIRA: A Tool for Android Malware Detection

von Dam, Khanh Huu The
Veröffentlicht in ICISSP ICISSP 2021 (2021)

Automated Repair of Security Errors in C Programs via Statistical Model Checking: A Proof of Concept

von Dam, Khanh Huu The
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)

Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis

von Ouytsel, Charles-Henry Bertrand Van
Veröffentlicht in CRiSIS (17. : 2022 : Sousse) Risks and Security of Internet and Systems (2023)