Pushdown Model Checking for Malware Detection

DOI10.1007/978-3-642-28756-5_9zbMath1352.68163OpenAlexW2226594342MaRDI QIDQ2894269

Tayssir Touili, Fu Song

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)

Related Items (4)

Reactive synthesis from visibly register pushdown automata ⋮ On temporal logics with data variable quantifications: decidability and complexity ⋮ Analyzing pushdown systems with stack manipulation ⋮ Unnamed Item

Uses Software

• BAP

This page was built for publication: Pushdown Model Checking for Malware Detection