56 citations · 67 across the 10 of their papers we have counts for
11 papers
TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware
Ying Lan, Jianbo Gao, Ke Wang +4
With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There hav…
Efficient Byzantine Fault Tolerance using Trusted Execution Environment: Preventing Equivocation is only the Beginning
Jiashuo Zhang, Jianbo Gao, Ke Wang +4
With the rapid development of blockchain, Byzantine fault-tolerant protocols have attracted revived interest recently. To overcome the theoretical bounds of Byzantine fault toleran…
Kaya: A Testing Framework for Blockchain-based Decentralized Applications
Zhenhao Wu, Jiashuo Zhang, Jianbo Gao +4
In recent years, many decentralized applications based on blockchain (DApp) have been developed. However, due to inadequate testing, DApps are easily exposed to serious vulnerabili…
Performance Analysis of the Libra Blockchain: An Experimental Study
Jiashuo Zhang, Jianbo Gao, Zhenhao Wu +4
Since Bitcoin was first introduced in 2008, many types of cryptocurrencies have been proposed based on blockchain. However, the performance of permissionless blockchains restricts…
EASYFLOW: Keep Ethereum Away From Overflow
Jianbo Gao, Han Liu, Chao Liu +3
While Ethereum smart contracts enabled a wide range of blockchain applications, they are extremely vulnerable to different forms of security attacks. Due to the fact that transacti…
A New Enforcement on Declassification with Reachability Analysis
Cong Sun, Liyong Tang, Zhong Chen
Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access con…