Efficient Malware Detection Using Model-Checking

DOI10.1007/978-3-642-32759-9_34zbMath1372.68177OpenAlexW9976069MaRDI QIDQ4647858

Tayssir Touili, Fu Song

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)

Related Items (5)

LTL model checking of self modifying code ⋮ Branching Temporal Logic of Calls and Returns for Pushdown Systems ⋮ Reachability Analysis of Self Modifying Code ⋮ Analyzing pushdown systems with stack manipulation ⋮ Formal logical language to set requirements for secure code execution

This page was built for publication: Efficient Malware Detection Using Model-Checking