BCARET model checking for malware detection

DOI10.1007/978-3-030-32505-3_16OpenAlexW2982433508MaRDI QIDQ2279129FDOQ2279129

Authors: Huu-Vu Nguyen, Tayssir Touili 

Publication date: 12 December 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-32505-3_16

Recommendations

• Efficient malware detection using model-checking
• Pushdown model checking for malware detection
• LTL model-checking for malware detection
• Systematic classification of attackers via bounded model checking

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cited In (1)

• Multi-matching nested relations

This page was built for publication: BCARET model checking for malware detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2279129)