Get started
Keyword

vulnerability detection

Description: Vulnerability detection is the identification of weaknesses in computer systems, software, or networks that could be exploited to compromise security.
OpenAlex ID: keywords/vulnerability-detection
“Indicators of vulnerability and adaptive capacity”: Towards a clarification of the science–policy interface
2010 · Jochen Hinkel · Global Environmental Change · 1,091
Slither: A Static Analysis Framework for Smart Contracts
2019 · Josselin Feist, Gustavo Grieco, et al. · 1,011
PDF
SOK: (State of) The Art of War: Offensive Techniques in Binary Analysis
2016 · Yan Shoshitaishvili, Ruoyu Wang, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 978
PDF
Driller: Augmenting Fuzzing Through Selective Symbolic Execution
2016 · Nick Stephens, John Grosen, et al. · Network and Distributed System Security Symposium · 912
PDF
Modeling and Discovering Vulnerabilities with Code Property Graphs
2014 · Fabian Yamaguchi, Nico Golde, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 875
ContractFuzzer: fuzzing smart contracts for vulnerability detection
2018 · Bo Jiang, Ye Liu, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 864
PDF
Pixy: a static analysis tool for detecting Web application vulnerabilities
2006 · N. Jovanovic, C. Kruegel, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 730
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
2010 · Edward J. Schwartz, Thanassis Avgerinos, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 723
SmartCheck
2018 · Sergei Tikhomirov, Ekaterina Voskresenskaya, et al. · 677
PDF
Obfuscation of executable code to improve resistance to static disassembly
2003 · Cullen Linn, Saumya Debray · Proceedings of the ACM Conference on Computer and Communications Security · 611
Finding security vulnerabilities in java applications with static analysis
2005 · V. Benjamin Livshits, Monica S. Lam · 593
Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks
2019 · Zhou, Yaqin, Liu, Shangqing, et al. · arXiv (Cornell University) · 582
PDF
Securing web application code by static analysis and runtime protection
2004 · Yao-Wen Huang, Fang Yu, et al. · International World Wide Web Conference (WWW) · 569
Fuzzing: Brute Force Vulnerability Discovery
2007 · Michael J. D. Sutton, Adam Greene, et al. · Medical Entomology and Zoology · 543
Can Open Large Language Models Catch Vulnerabilities?
2025 · DeepSeek-AI, Guo, Daya, et al. · arXiv (Cornell University) · 539
PDF
A C/C++ Code Vulnerability Dataset with Code Changes and CVE Summaries
2020 · Jiahao Fan, Yi Li, et al. · International Conference on Mining Software Repositories (MSR) · 524
Improving security using extensible lightweight static analysis
2002 · D. Evans, D. Larochelle · IEEE Software · 471
A Symbolic Execution Framework for JavaScript
2010 · Prateek Saxena, Devdatta Akhawe, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 459
Building Secure Software: How to Avoid Security Problems the Right Way
2001 · John Viega, Gary McGraw · 439
Scalable Graph-based Bug Search for Firmware Images
2016 · Qian Feng, Rundong Zhou, et al. · ACM SIGSAC Conference on Computer and Communications Security (CCS) · 419
Collaborative Security
2015 · Guozhu Meng, Yang Liu, et al. · ACM Computing Surveys · 418
Empirical review of automated analysis tools on 47,587 Ethereum smart contracts
2020 · Thomas Durieux, João F. Ferreira, et al. · 408
PDF
CollAFL: Path Sensitive Fuzzing
2018 · Shuitao Gan, Chao Zhang, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 396
PDF
Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications
2008 · Davide Balzarotti, Marco Cova, et al. · Proceedings - IEEE Symposium on Security and Privacy/Proceedings of the ... IEEE Symposium on Security and Privacy · 386
Towards Automated Dynamic Analysis for Linux-based Embedded Firmware
2016 · Daming D. Chen, Manuel Egele, et al. · Network and Distributed System Security Symposium · 377
PDF
Works count: 11,860
Citation count: 93,670
Year
Topic
Type