LTL model-checking for malware detection

DOI10.1007/978-3-642-36742-7_29MaRDI QIDQ5326341zbMATH OpenOpenAlexFDO

Authors Fu Song, Tayssir Touili

Publication date 5 August 2013

Published in Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36742-7_29

Mathematics Subject Classification ID

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

Recommendations

• Pushdown model checking for malware detection
• Efficient malware detection using model-checking
• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• Efficient CTL model-checking for pushdown systems
• Efficient CTL model-checking for pushdown systems

Cited in

(9)

• Reachability Analysis of Self Modifying Code
• BCARET model checking for malware detection
• LTL model checking of self modifying code
• A process calculus approach to detection and mitigation of PLC malware
• Branching Temporal Logic of Calls and Returns for Pushdown Systems
• On temporal logics with data variable quantifications: decidability and complexity
• Multi-matching nested relations
• Efficient malware detection using model-checking
• Pushdown model checking for malware detection

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

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