中文
相关论文

相关论文: Concolic Execution as a General Method of Determin…

200 篇论文

Deep learning has been used in the research of malware analysis. Most classification methods use either static analysis features or dynamic analysis features for malware family classification, and rarely combine them as classification…

密码学与安全 · 计算机科学 2019-12-25 Yao Saint Yen , Zhe Wei Chen , Ying Ren Guo , Meng Chang Chen

As a result of decades of research, Windows malware detection is approached through a plethora of techniques. However, there is an ongoing mismatch between academia -- which pursues an optimal performances in terms of detection rate and low…

密码学与安全 · 计算机科学 2024-12-20 Andrea Ponte , Dmitrijs Trizna , Luca Demetrio , Battista Biggio , Ivan Tesfai Ogbu , Fabio Roli

Network and system security are incredibly critical issues now. Due to the rapid proliferation of malware, traditional analysis methods struggle with enormous samples. In this paper, we propose four easy-to-extract and small-scale features,…

密码学与安全 · 计算机科学 2022-01-20 Zhenshuo Chen , Eoin Brophy , Tomas Ward

As collaborative learning allows joint training of a model using multiple sources of data, the security problem has been a central concern. Malicious users can upload poisoned data to prevent the model's convergence or inject hidden…

密码学与安全 · 计算机科学 2021-01-21 Ximing Qiao , Yuhua Bai , Siping Hu , Ang Li , Yiran Chen , Hai Li

Code obfuscation is a major tool for protecting software intellectual property from attacks such as reverse engineering or code tampering. Yet, recently proposed (automated) attacks based on Dynamic Symbolic Execution (DSE) shows very…

密码学与安全 · 计算机科学 2019-08-08 Mathilde Ollivier , Sébastien Bardin , Richard Bonichon , Jean-Yves Marion

Symbolic Execution is a formal method that can be used to verify the behavior of computer programs and detect software vulnerabilities. Compared to other testing methods such as fuzzing, Symbolic Execution has the advantage of providing…

密码学与安全 · 计算机科学 2025-09-29 Christopher Scherb , Luc Bryan Heitz , Hermann Grieder , Olivier Mattmann

Program obfuscation is a widely employed approach for software intellectual property protection. However, general obfuscation methods (e.g., lexical obfuscation, control obfuscation) implemented in mainstream obfuscation tools are heuristic…

密码学与安全 · 计算机科学 2017-10-04 Hui Xu , Yangfan Zhou , Yu Kang , Michael R. Lyu

Our computer systems for decades have been threatened by various types of hardware and software attacks of which Malwares have been one of them. This malware has the ability to steal, destroy, contaminate, gain unintended access, or even…

密码学与安全 · 计算机科学 2021-04-15 Abhijitt Dhavlle , Sanket Shukla

Research has proven that end-to-end malware detectors are vulnerable to adversarial attacks. In response, the research community has proposed defenses based on randomized and (de)randomized smoothing. However, these techniques remain…

密码学与安全 · 计算机科学 2025-12-11 Daniel Gibert , Felip Manyà

With web applications becoming a preferred method of presenting graphical user interfaces to users, software vulnerabilities affecting web applications are becoming more and more prevalent and devastating. Some of these vulnerabilities,…

密码学与安全 · 计算机科学 2019-08-14 Michael Flanders

The challenge in engaging malware activities involves the correct identification and classification of different malware variants. Various malwares incorporate code obfuscation methods that alters their code signatures effectively…

密码学与安全 · 计算机科学 2016-09-27 Felan Carlo C. Garcia , Felix P. Muga

Hardware aliasing occurs when the same logical address sporadically accesses different physical memory locations and is a problem encountered by systems programmers (the opposite, software aliasing, when different addresses access the same…

密码学与安全 · 计算机科学 2019-01-31 Peter T. Breuer

The rapid advancement of information technology has introduced a noticeable shift from traditional offline practices to more efficient and interconnected online environments. This transition, while offering convenience, has also increased…

密码学与安全 · 计算机科学 2026-05-20 Mohammed Mahir Rahman , Shahzad Memon , Tauseef Ahmed , Ameer Al-Nemrat

In today's interconnected digital landscape, the proliferation of malware poses a significant threat to the security and stability of computer networks and systems worldwide. As the complexity of malicious tactics, techniques, and…

密码学与安全 · 计算机科学 2023-05-26 Dhruv Nandakumar , Devin Quinn , Elijah Soba , Eunyoung Kim , Christopher Redino , Chris Chan , Kevin Choi , Abdul Rahman , Edward Bowen

Malware analysis involves analyzing suspicious software to detect malicious payloads. Static malware analysis, which does not require software execution, relies increasingly on machine learning techniques to achieve scalability. Although…

密码学与安全 · 计算机科学 2025-08-15 Pierre-Francois Gimenez , Sarath Sivaprasad , Mario Fritz

Input sanitization mechanisms are widely used to mitigate vulnerabilities to injection attacks such as cross-site scripting. Static analysis tools and techniques commonly used to ensure that applications utilize sanitization functions.…

密码学与安全 · 计算机科学 2018-04-04 Mahmoud Mohammadi , Bill Chu , Heather Richter Lipford

This paper presents an underlying framework for both automating and accelerating malware classification, more specifically, mapping malicious executables to known Advanced Persistent Threat (APT) groups. The main feature of this analysis is…

密码学与安全 · 计算机科学 2025-04-23 Noah Subedar , Taeui Kim , Saathwick Venkataramalingam

The number of malicious software (malware) is growing out of control. Syntactic signature based detection cannot cope with such growth and manual construction of malware signature databases needs to be replaced by computer learning based…

密码学与安全 · 计算机科学 2013-12-18 Hugo Daniel Macedo , Tayssir Touili

The proliferation of malware, particularly through the use of packing, presents a significant challenge to static analysis and signature-based malware detection techniques. The application of packing to the original executable code renders…

密码学与安全 · 计算机科学 2025-06-24 Daniel Gibert , Nikolaos Totosis , Constantinos Patsakis , Giulio Zizzo , Quan Le

In this thesis, we introduce the idea of combining symbolic execution with dynamic analysis for reverse engineering. Differently from DSE, we devise an approach where the reverse engineer can use a debugger to drive and inspect a concrete…

密码学与安全 · 计算机科学 2020-07-01 Andrea Fioraldi