Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Neil P. Thimmaiah

dblp:406/6889 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
2since 2021 · last 2025
0009-0008-1834-6567ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 2 first-author · 2 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Systems and software security · 100%
Software engineering, system software, and programming languages
1 paper
Program analysis · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security › exploitation
exploit generation
0.912025
FIXX: FInding eXploits from eXamples · USENIX Security Symposium 2025
Systems and software security
vulnerability discovery
0.912025
FIXX: FInding eXploits from eXamples · USENIX Security Symposium 2025
Program analysis
dynamic analysis
0.312025
FIXX: FInding eXploits from eXamples · USENIX Security Symposium 2025

Methods — techniques the papers use, named apart from their topics

example-based learning · 1.7
YearPublicationVenuePosition
2025 SemFinder: A Semantics-Based Approach to Enhance Vulnerability Analysis in Web Applications
abstract
Modern web applications are becoming increasingly complex. They include multiple dynamic runtime constructs that are difficult to analyze by static application security testing (SAST) tools. These tools often use a graph representation of the code for their analysis. However, built statically, such graphs may miss important data and control flows dependent on runtime information. In addition, the presence of difficult-to-analyze code patterns in modern web applications, referred to as testability tarpits, further reduces the accuracy of statically built graphs. As a result, current SAST tools have several false negatives because of 'hidden' paths, which are not present in the graphs. In this paper, we present SemFinder, an approach designed to automatically detect such hidden paths. SemFinder uses natural language semantics to hypothesize connections between different locations in the code based on the meaning and similarity of the variables in those locations and test those hypotheses dynamically. We evaluate SemFinder on 30 PHP applications and discover 215 new exploitable hidden paths with respect to existing SAST tools, leading to the submission of 31 new CVEs.
Neil P. Thimmaiah, Rigel Gjomemo, V. N. Venkatakrishnan
CODASPY1
2025 FIXX: FInding eXploits from eXamples
Neil P. Thimmaiah, Yashashvi J. Dave, Rigel Gjomemo, V. N. Venkatakrishnan
USENIX Security Symposium1