OpenAlex
Pushdown Model Checking for Malware Detection
Work