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
Demo Data from SIGIR 2026 / reviewers in the wild / expert

Tien Tavu

dblp:332/3098 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none

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

Security and privacy · 1 · 1 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.

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

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

TopicWeightPapersLastEvidence papers
Blockchain and cryptocurrency security
smart contract		 0.612022
VRust: Automated Vulnerability Detection for Solana Smart Contracts · CCS 2022
Program analysis › static analysis › vulnerability detection
smart contract vulnerability detection		 0.612022
VRust: Automated Vulnerability Detection for Solana Smart Contracts · CCS 2022
Program analysis
static analysis		 0.612022
VRust: Automated Vulnerability Detection for Solana Smart Contracts · CCS 2022

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

static analysis · 1.1
YearPublicationVenuePosition
2022 VRust: Automated Vulnerability Detection for Solana Smart Contracts
abstract
Solana is a rapidly-growing high-performance blockchain powered by a Proof of History (PoH) consensus mechanism and a novel stateless programming model that decouples code from data. With parallel execution on the PoH Sealevel runtime (instead of PoW), it achieves 100X-1000X speedups compared to Ethereum in terms of transactions per second. With the new programming model, new constraints (owner, signer, keys, bump seeds) and vulnerabilities (missing checks, overflows, type confusion, etc.) must be carefully verified to ensure the security of Solana smart contracts.
Siwei Cui, Tien Tavu, Jeff Huang 0001
 CCS4