Pushdown model checking for malware detection

DOI10.1007/978-3-642-28756-5_9MaRDI QIDQ2894269zbMATH OpenOpenAlexFDO

Authors Fu Song, Tayssir Touili

Publication date 29 June 2012

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-28756-5_9

Mathematics Subject Classification ID

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

Recommendations

• Efficient malware detection using model-checking
• LTL model-checking for malware detection
• 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

(11)

• Analyzing pushdown systems with stack manipulation
• Reactive synthesis from visibly register pushdown automata
• A process calculus approach to detection and mitigation of PLC malware
• BCARET model checking for malware detection
• A semantics-based approach to malware detection
• On temporal logics with data variable quantifications: decidability and complexity
• Efficient malware detection using model-checking
• Efficient CTL verification via Horn constraints solving
• LTL model-checking for malware detection
• LTL model checking of self modifying code
• Branching Temporal Logic of Calls and Returns for Pushdown Systems

Describes a project that uses

Uses Software

• BAP

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

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