56 citations · 58 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
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,…