Tianyuan Hu

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 14

Top Topics

Deterministic Finite Automaton

Disclosure Control

Actionable Knowledge

Promising Directions

Top Venues

IEEE Trans. Reliab.

Publications

Tianyuan Hu, Bixin Li, Zhenyu Pan, Chen Qian
Detect Defects of Solidity Smart Contract Based on the Knowledge Graph. IEEE Trans. Reliab. 73 (1) (2024)
Tianyuan Hu, Jingyue Li, Xiangfei Xu, Bixin Li
SoliTester: Detecting exploitable external-risky vulnerability in smart contracts using contract account triggering method. J. Softw. Evol. Process. 36 (7) (2024)
Nan Shao, Chenshuo Ren, Tianyuan Hu, Dianbing Wang, Xiaofan Zhu, Min Li, Tao Cheng, Yingchi Zhang, Xian-En Zhang
Detection of continuous hierarchical heterogeneity by single-cell surface antigen analysis in the prognosis evaluation of acute myeloid leukaemia. BMC Bioinform. 24 (1) (2023)
Xiangfei Xu, Tianyuan Hu, Bixin Li, Li Liao
CCDetector: Detect Chaincode Vulnerabilities Based on Knowledge Graph. COMPSAC (2023)
André Storhaug, Jingyue Li, Tianyuan Hu
Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding. ISSRE (2023)
André Storhaug, Jingyue Li, Tianyuan Hu
Efficient Avoidance of Vulnerabilities in Auto-completed Smart Contract Code Using Vulnerability-constrained Decoding. CoRR (2023)
Qihao Bao, Bixin Li, Tianyuan Hu, Xueyong Sun
A survey of blockchain consensus safety and security: State-of-the-art, challenges, and future work. J. Syst. Softw. 196 (2023)
Jingyuan Cai, Ying Zhou, Tianyuan Hu, Bixin Li
PTLC: Protect the Identity Privacy during Cross-Chain Asset Transaction More Effectively. QRS Companion (2022)
Chen Qian, Tianyuan Hu, Bixin Li
A BiLSTM-Attention Model for Detecting Smart Contract Defects More Accurately. QRS (2022)
Bixin Li, Zhenyu Pan, Tianyuan Hu
ReDefender: Detecting Reentrancy Vulnerabilities in Smart Contracts Automatically. IEEE Trans. Reliab. 71 (2) (2022)
Qihao Bao, Bixin Li, Tianyuan Hu, Dongyu Cao
Model Checking the Safety of Raft Leader Election Algorithm. QRS (2022)
Tianyuan Hu, Zhenyu Pan, Bixin Li
SolDetector: Detect Defects Based on Knowledge Graph of Solidity Smart Contract. SEKE (2021)
Zhenyu Pan, Tianyuan Hu, Chen Qian, Bixin Li
ReDefender: A Tool for Detecting Reentrancy Vulnerabilities in Smart Contracts Effectively. QRS (2021)
Ying Jiang, Tianyuan Hu, Hong Zhao
Users' Comment Mining for App Software's Quality-in-Use. ChineseCSCW (2019)