A semantics-based approach to malware detection

DOI10.1145/1190216.1190270zbMath1295.68157OpenAlexW4238295473MaRDI QIDQ3189818

Somesh Jha, Saumya Debray, Mila Dalla Preda, Mihai Christodorescu

Publication date: 12 September 2014

Published in: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1190216.1190270

zbMATH Keywords

abstract interpretationobfuscationmalware detectiontrace semantics

Mathematics Subject Classification ID

Cryptography (94A60) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Related Items (4)

Partial Evaluation for Java Malware Detection ⋮ Analyzing pushdown systems with stack manipulation ⋮ Context-sensitive analysis without calling-context ⋮ Making abstract models complete

This page was built for publication: A semantics-based approach to malware detection