Efficient malware detection using model-checking

DOI10.1007/978-3-642-32759-9_34MaRDI QIDQ4647858zbMATH OpenOpenAlexFDO

Authors Fu Song, Tayssir Touili

Publication date 8 November 2012

Published in FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-32759-9_34

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Pushdown model checking for malware detection
• LTL model-checking for malware detection
• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• A semantics-based approach to malware detection
• Efficient CTL model-checking for pushdown systems

Cited in

(10)

• Reachability Analysis of Self Modifying Code
• BCARET model checking for malware detection
• LTL model checking of self modifying code
• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• A semantics-based approach to malware detection
• Formal logical language to set requirements for secure code execution
• Analyzing pushdown systems with stack manipulation
• Provably Secure Virus Detection: Using The Observer Effect Against Malware.
• Pushdown model checking for malware detection
• LTL model-checking for malware detection

This page was built for publication: Efficient malware detection using model-checking

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