String Analysis for Vulnerability Detection and Repair

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/978-3-319-23404-5_1 ◽

2015 ◽

pp. 3-9

Author(s):

Tevfik Bultan

Keyword(s):

Vulnerability Detection ◽

String Analysis

Download Full-text

Automata-based symbolic string analysis for vulnerability detection

Formal Methods in System Design ◽

10.1007/s10703-013-0189-1 ◽

2013 ◽

Vol 44 (1) ◽

pp. 44-70 ◽

Cited By ~ 31

Author(s):

Fang Yu ◽

Muath Alkhalaf ◽

Tevfik Bultan ◽

Oscar H. Ibarra

Keyword(s):

Vulnerability Detection ◽

String Analysis

Download Full-text

The Design and Development of the Vulnerability Detection System of Android Platform

Revista de la Facultad de Ingeniería ◽

10.21311/002.31.7.10 ◽

2016 ◽

Keyword(s):

Detection System ◽

Vulnerability Detection ◽

Design And Development ◽

Android Platform

Download Full-text

FTCLNet: Convolutional LSTM with Fourier Transform for Vulnerability Detection

2020 IEEE 19th International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) ◽

10.1109/trustcom50675.2020.00078 ◽

2020 ◽

Author(s):

Defu Cao ◽

Jing Huang ◽

Xuanyu Zhang ◽

Xianhua Liu

Keyword(s):

Fourier Transform ◽

Vulnerability Detection ◽

Convolutional Lstm

Download Full-text

D2A: A Dataset Built for AI-Based Vulnerability Detection Methods Using Differential Analysis

2021 IEEE/ACM 43rd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ◽

10.1109/icse-seip52600.2021.00020 ◽

2021 ◽

Author(s):

Yunhui Zheng ◽

Saurabh Pujar ◽

Burn Lewis ◽

Luca Buratti ◽

Edward Epstein ◽

...

Keyword(s):

Detection Methods ◽

Differential Analysis ◽

Vulnerability Detection

Download Full-text

Attention-based Machine Learning Model for Smart Contract Vulnerability Detection

Journal of Physics Conference Series ◽

10.1088/1742-6596/1820/1/012004 ◽

2021 ◽

Vol 1820 (1) ◽

pp. 012004

Author(s):

Yuhang Sun ◽

Lize Gu

Keyword(s):

Machine Learning ◽

Learning Model ◽

Vulnerability Detection ◽

Smart Contract ◽

Machine Learning Model

Download Full-text

Source code and binary level vulnerability detection and hot patching

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3418914 ◽

2020 ◽

Author(s):

Zhengzi Xu

Keyword(s):

Source Code ◽

Vulnerability Detection

Download Full-text

A novel deep learning-based feature selection model for improving the static analysis of vulnerability detection

Neural Computing and Applications ◽

10.1007/s00521-021-06047-x ◽

2021 ◽

Author(s):

Canan Batur Şahin ◽

Laith Abualigah

Keyword(s):

Feature Selection ◽

Deep Learning ◽

Static Analysis ◽

Selection Model ◽

Vulnerability Detection

Download Full-text

MERLIN: Multi-Language Web Vulnerability Detection

2020 IEEE 19th International Symposium on Network Computing and Applications (NCA) ◽

10.1109/nca51143.2020.9306735 ◽

2020 ◽

Author(s):

Alexandra Figueiredo ◽

Tatjana Lide ◽

David Matos ◽

Miguel Correia

Keyword(s):

Vulnerability Detection

Download Full-text

Vulnerability Detection in SIoT Applications: A Fuzzing Method on their Binaries

IEEE Transactions on Network Science and Engineering ◽

10.1109/tnse.2020.3038142 ◽

2020 ◽

pp. 1-1

Author(s):

Xiaogang Zhu ◽

Sheng Wen ◽

Alireza Jolfaei ◽

Mohammad Sayadhaghighi ◽

Seyit Camtepe ◽

...

Keyword(s):

Vulnerability Detection

Download Full-text

Code-based vulnerability detection in Node.js applications

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering ◽

10.1145/3324884.3421838 ◽

2020 ◽

Author(s):

Bodin Chinthanet ◽

Serena Elisa Ponta ◽

Henrik Plate ◽

Antonino Sabetta ◽

Raula Gaikovina Kula ◽

...

Keyword(s):

Vulnerability Detection

Download Full-text