Understanding Out of Gas Exceptions on Ethereum. - Chao Liu 032; Jianbo Gao; Yue Li 037; Zhong Chen 001 (BlockSys, 2019)

Towards automated testing of blockchain-based decentralized applications. - Jianbo Gao; Han Liu 010; Yue Li 037; Chao Liu 032; Zhiqiang Yang; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICPC, 2019)

SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. - Yue Li 037; Han Liu 010; Zhiqiang Yang; Qian Ren; Lei Wang 031; Bangdao Chen (ICDCS, 2020)

Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. - Zhiqiang Yang; Han Liu 010; Yue Li 037; Huixuan Zheng; Lei Wang 031; Bangdao Chen (ICSE (Companion Volume), 2020)

Kaya: A Testing Framework for Blockchain-based Decentralized Applications. - Zhenhao Wu; Jiashuo Zhang 001; Jianbo Gao; Yue Li 037; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICSME, 2020)

EShield: protect smart contracts against reverse engineering. - Wentian Yan; Jianbo Gao; Zhenhao Wu; Yue Li 037; Zhi Guan; Qingshan Li; Zhong Chen 001 (ISSTA, 2020)

Protect Your Smart Contract Against Unfair Payment. - Yue Li 037; Han Liu 010; Zhiqiang Yang; Bin Wang; Qian Ren; Lei Wang 031; Bangdao Chen (SRDS, 2020)

Studying gas exceptions in blockchain-based cloud applications. - Chao Liu 032; Jianbo Gao; Yue Li 037; Huihui Wang 001; Zhong Chen 001 (J. Cloud Comput., 2020)

TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware. - Ying Lan; Jianbo Gao; Yue Li 037; Ke Wang 061; Yuesheng Zhu; Zhong Chen 001 (ICBTA, 2021)

FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory. - Yue Li 037; Han Liu 010; Yuanliang Chen; Jianbo Gao; Zhenhao Wu; Zhi Guan; Zhong Chen 001 (ICDCS, 2021)

Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001 (ICDCS, 2021)

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001 (CoRR, 2021)

CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001; Lei Wang 031; Bangdao Chen (CoRR, 2021)

Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation. - Qian Ren; Yingjun Wu; Han Liu 010; Yue Li 037; Anne Victor; Hong Lei 001; Lei Wang 031; Bangdao Chen (ACSAC, 2022)

PShard: A Practical Sharding Protocol for Enterprise Blockchain. - Jianbo Gao; Jiashuo Zhang 001; Yue Li 037; Jiakun Hao; Ke Wang 061; Zhi Guan; Zhong Chen 001 (ICBTA, 2022)

ChainDB: Ensuring Integrity of Querying Off-Chain Data on Blockchain. - Jianbo Gao; Jiashuo Zhang 001; Yue Li 037; Jiakun Hao; Ke Wang 061; Zhi Guan; Zhong Chen 001 (ICBTA, 2022)

TBFT: Efficient Byzantine Fault Tolerance Using Trusted Execution Environment. - Jiashuo Zhang 001; Jianbo Gao; Ke Wang 061; Zhenhao Wu; Yue Li 037; Zhi Guan; Zhong Chen 001 (ICC, 2022)

Xscope: Hunting for Cross-Chain Bridge Attacks. - Jiashuo Zhang 001; Jianbo Gao; Yue Li 037; Ziming Chen; Zhi Guan; Zhong Chen 001 (ASE, 2022)

Smifier: A Smart Contract Verifier for Composite Transactions. - Yu Dong; Yue Li 037; Dongqi Cui; Jianbo Gao; Zhi Guan; Zhong Chen 001 (SEKE, 2022)

TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network. - Qian Ren; Yingjun Wu; Yue Li 037; Han Liu 010; Hong Lei 001; Lei Wang 031; Bangdao Chen (CoRR, 2022)

Hades: Practical Decentralized Identity with Full Accountability and Fine-grained Sybil-resistance. - Ke Wang 061; Jianbo Gao; Qiao Wang; Jiashuo Zhang 001; Yue Li 037; Zhi Guan; Zhong Chen 001 (ACSAC, 2023)

DIDAPPER: A Practical and Auditable On-Chain Identity Service for Decentralized Applications. - Libin Xia; Jiashuo Zhang 001; Xihan Zhang; Yue Li 037; Jianbo Gao; Zhi Guan; Zhong Chen 001 (DAPPS, 2023)

Siguard: Detecting Signature-Related Vulnerabilities in Smart Contracts. - Jiashuo Zhang 001; Yue Li 037; Jianbo Gao; Zhi Guan; Zhong Chen 001 (ICSE Companion, 2023)

DFHelper: Help clients to participate in federated learning tasks. - Zhenhao Wu; Jianbo Gao; Jiashuo Zhang 001; Yue Li 037; Qingshan Li; Zhi Guan; Zhong Chen 001 (Appl. Intell., 2023)

Understanding and Detecting Privacy Leakage Vulnerabilities in Hyperledger Fabric Chaincodes. - Ziming Chen; Yue Li 037; Jianbo Gao; Jiashuo Zhang 001; Ke Wang 061; Jian-bin Hu; Zhi Guan; Zhong Chen 001 (ISSRE, 2024)

SolaSim: Clone Detection for Solana Smart Contracts via Program Representation. - Che Wang; Yue Li 037; Jianbo Gao; Ke Wang 061; Jiashuo Zhang 001; Zhi Guan; Zhong Chen 001 (ICPC, 2024)

XGuard: Detecting Inconsistency Behaviors of Crosschain Bridges. - Ke Wang 061; Yue Li 037; Che Wang; Jianbo Gao; Zhi Guan; Zhong Chen 001 (SIGSOFT FSE Companion, 2024)

Pioplat: A Scalable, Low-Cost Framework for Latency Reduction in Ethereum Blockchain. - Ke Wang 061; Qiao Wang; Yue Li 037; Zhi Guan; Zhong Chen 001 (CoRR, 2024)

DeCloak: Enable Secure and Cheap Multi-Party Transactions on Legacy Blockchains by a Minimally Trusted TEE Network. - Qian Ren; Yue Li 037; Yingjun Wu; Yuchen Wu; Hong Lei 001; Lei Wang 031; Bangdao Chen (IEEE Trans. Inf. Forensics Secur., 2024)

Accelerating block lifecycle on blockchain via hardware transactional memory. - Yue Li 037; Han Liu 010; Jianbo Gao; Jiashuo Zhang 001; Zhi Guan; Zhong Chen 001 (J. Parallel Distributed Comput., 2024)