Pushdown Model Checking for Malware Detection
Abstract elided by the publisher.
Related papers
- Model-Checking for Android Malware Detection APLAS 2014
- LTL Model-Checking for Malware Detection TACAS 2013
- A semantics-based approach to malware detection TOPLAS 2008
- A semantics-based approach to malware detection POPL 2007
- Pushdown Processes: Games and Model Checking CAV 1996
- Model Checking Dynamic Pushdown Networks APLAS 2013
- Improving Pushdown System Model Checking CAV 2006
- Complexity Results on Branching-Time Pushdown Model Checking VMCAI 2006