LTL model checking of self modifying code

DOI10.1007/s10703-022-00394-8arXiv1909.12635MaRDI QIDQ6102164

Tayssir Touili, Xin Ye

Publication date: 8 May 2023

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1909.12635

zbMATH Keywords

automatamodel checkingmalware detection

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items (1)

Reachability Analysis of Self Modifying Code

Cites Work

• Unnamed Item
• Verified abstract interpretation techniques for disassembling low-level self-modifying code
• Reasoning about infinite computations
• Efficient Malware Detection Using Model-Checking
• LTL Model-Checking for Malware Detection
• Computer Aided Verification
• Reachability analysis of pushdown automata: Application to model-checking

This page was built for publication: LTL model checking of self modifying code