Detecting Malicious Code by Model Checking-Reference-Cited by-同舟云学术

Detecting Malicious Code by Model Checking

Published:2005 Issue: Volume: Page:174-187
ISSN:0302-9743
Container-title:Detection of Intrusions and Malware, and Vulnerability Assessment
language:
Short-container-title:

Author:

Kinder Johannes,Katzenbeisser Stefan,Schallhart Christian,Veith Helmut

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11506881_11.pdf

Reference15 articles.

1. Norman ASA. Norman sandbox whitepaper. Technical report (2003)

2. Bergeron, J., Debbabi, M., Desharnais, J., Erhioui, M.M., Lavoie, Y., Tawbi, N.: Static detection of malicious code in executable programs. In: Symposium on Requirements Engineering for Information Security (March 2001)

3. Christodorescu, M., Jha, S.: Static analysis of executables to detect malicious patterns. In: Proceedings of the 12th USENIX Security Symposium (Security 2003), August 2003, pp. 169–186. USENIX Association (2003)

4. Christodorescu, M., Jha, S.: Testing malware detectors. In: Proceedings of the International Symposium on Software Testing and Analysis, ISSTA 2004 (2004)

5. Lecture Notes in Computer Science;E. Clarke,1982

Cited by 60 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Decidability of Disassembling Binaries;Lecture Notes in Computer Science;2024

2. Machine Learning Supported Malicious URL Detection;2023 4th IEEE Global Conference for Advancement in Technology (GCAT);2023-10-06

3. DroidEncoder: Malware detection using auto-encoder based feature extractor and machine learning algorithms;Computers and Electrical Engineering;2023-09

4. Dazzle-attack: Anti-Forensic Server-side Attack via Fail-Free Dynamic State Machine;Information Security Applications;2023

5. Register Automata for Malware Specification;Proceedings of the 17th International Conference on Availability, Reliability and Security;2022-08-23