Semantic Vulnerability Analysis
Semantic Vulnerability Analysis is a type of static vulnerability analysis that identifies security flaws by examining the meaning and intended behavior of program constructs, distinguishing it from syntactic approaches through its focus on contextual program semantics and logical execution flow.
25
Publications
1K
Citations
87
Authors
37
Institutions
Publications per year
2017–2026
13
25
SPAIN: Security Patch Analysis for Binaries towards Understanding the Pain and Pills
Zhengzi Xu, Bihuan Chen, Mahinthan Chandramohan et al. · 2017 · 158 citations
Leveraging semantic signatures for bug search in binary programs
Jannik Pewny, Félix Schuster, Lukas Bernhard et al. · 2014 · 147 citations
Oracle-Supported Dynamic Exploit Generation for Smart Contracts
Haijun Wang, Ye Liu, Yi Li et al. · IEEE Transactions on Dependable and Secure Computing · 2020 · 70 citations
Semantic security against web application attacks
Abdul Razzaq, Khalid Latif, Hafiz Farooq Ahmad et al. · Information Sciences · 2013 · 69 citations
1–5 of 25
87
3
h-index
2
h-index
2
h-index
2
h-index
2
h-index
1–5 of 87
37
National University of Sciences and Technology
Islamabad, Pakistan
2 h-index
6 publications
346 citations
Tsinghua University
Beijing, China
2 h-index
10 publications
410 citations
The University of Texas at Austin
Austin, United States
2 h-index
6 publications
140 citations
Nanyang Technological University
Singapore, Singapore
2 h-index
9 publications
982 citations

Data61
Sydney, Australia
1 h-index
5 publications
70 citations

Shanghai Jiao Tong University
Shanghai, China
1 h-index
3 publications
63 citations
ShanghaiTech University
Shanghai, China
1 h-index
1 publications
158 citations
University of California, Los Angeles
Los Angeles, United States
1 h-index
2 publications
46 citations
1–8 of 37
2 publications · 103 citations
2
h-index
Repository · 1 publications · 15 citations
1
h-index
TOSEM · 1 publications · 14 citations
1
h-index
1 publications · 14 citations
1
h-index
NSE · 1 publications · 21 citations
1
h-index
1–5