Concepedia

Tianyuan Hu

TH

4

Publications

119

Citations

4

H-Index

2021

Active since

Affiliations

Southeast University(Current)

Tianyuan Hu is an author at Southeast University specializing in engineering, formal verification, and software engineering.

Top concepts

EngineeringBlockchainComputer ScienceProgram AnalysisSoftware TestingFormal VerificationSystems EngineeringSoftware EngineeringFuzzingVerification

Publications per year

2021–2023

4

Publications

4

Detect Defects of Solidity Smart Contract Based on the Knowledge Graph

Tianyuan Hu, Bixin Li, Zhenyu Pan et al. · IEEE Transactions on Reliability · 2023 · 48 citations

Engineering, Verification, Software Systems +20

ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically

Bixin Li, Zhenyu Pan, Tianyuan Hu · IEEE Transactions on Reliability · 2022 · 41 citations

Software Maintenance, Engineering, Software Systems +24

PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively

Jingyuan Cai, Ying Zhou, Tianyuan Hu et al. · 2022 · 16 citations

Engineering, Information Security, Distributed Ledger +16

ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively

Zhenyu Pan, Tianyuan Hu, Qián Chen et al. · 2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS) · 2021 · 14 citations

Software Maintenance, Engineering, Verification +24

Rows per page

1–4 of 4