Monash University Research Portal (Monash University) · 2019 · 31 citations · 12 references
Open access
ComputingComputer EngineeringComputer ScienceComputer SecurityMachine LearningSoftware EngineeringSoftware Security EngineeringSoftware Vulnerability DiscoveryStatic Code AnalysisStatic Vulnerability AnalysisBinary Vulnerability AnalysisCode Vulnerability AnalysisSource Code Vulnerability AnalysisSource Code Vulnerability DetectionVulnerability Detection
Due to the sharp increase in the severity of the threat imposed by software vulnerabilities, the detection of vulnerabilities in binary code has become an important concern in the software industry, such as the embedded systems industry, and in the field of computer security. However, most of the works in binary code vulnerability detection has relied on handcrafted features which are manually chosen by a select few domain experts. In this paper, we attempt to alleviate this severe binary vulnerability detection bottleneck by leveraging recent advances in deep learning representations and propose the Maximal Divergence Sequential Auto-Encoder. In particular, latent codes representing vulnerable and non-vulnerable binaries are encouraged to be maximally divergent, while still being able to maintain crucial information from the original binaries. We conducted extensive experiments to compare and contrast our proposed methods with the baselines, and the results indicate that our proposed methods outperform the baselines in all performance measures of interest.
12
Arthur Gretton, Karsten Borgwardt, Malte J. Rasch et al. · MPG.PuRe (Max Planck Society) · 2012 · 2.2K citations · Full text
Symbolic execution for software testing
Cristian Cadar, Koushik Sen · Communications of the ACM · 2013 · 749 citations
Predicting vulnerable software components
Stephan Neuhaus, Thomas Zimmermann, Christian Holler et al. · 2007 · 420 citations