56 citations · 58 across the 3 of their papers we have counts for
3 papers
cs.CR2021
Trusted And Confidential Program Analysis
Han Liu, Pedro Antonino, Zhiqiang Yang +2
We develop the concept of Trusted and Confidential Program Analysis (TCPA) which enables program certification to be used where previously there was insufficient trust. Imagine a s…
cs.CR2021★ 2 cited
BLOCKEYE: Hunting For DeFi Attacks on Blockchain
Bin Wang, Han Liu, Chao Liu +4
Decentralized finance, i.e., DeFi, has become the most popular type of application on many public blockchains (e.g., Ethereum) in recent years. Compared to the traditional finance,…
cs.SE2018★ 56 cited
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…