BCARET model checking for malware detection

DOI10.1007/978-3-030-32505-3_16MaRDI QIDQ2279129zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

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)