Work

Pushdown model checking for malware detection

Year: 2013

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-013-0290-1

Authors: Fu Song, Tayssir Touili

Institutions: Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Centre National de la Recherche Scientifique, Laboratoire d'Informatique Algorithmique: Fondements et Applications, Université Paris Diderot

Language: English

Topic: Advanced Malware Detection Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2006394045

FWCI: 6.511

Cites: 26

Cited by: 39

Related to: 10