We stand with Ukraine  

Chao Liu

Orcid: 0000-0002-6181-6324

Affiliations:
  • Blockhouse Technology Ltd., Oxford, UK
  • Oxford-Hainan Blockchain Research Institute, Hainan, China
  • Peking University, School of EECS, Beijing, China


According to our database1, Chao Liu authored at least 9 papers between 2018 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Trusted And Confidential Program Analysis.
[BibTeX]
[DOI]
Han Liu
,
Pedro Antonino
,
Zhiqiang Yang
,
Chao Liu
,
A. W. Roscoe
CoRR, 2021

BLOCKEYE: Hunting for DeFi Attacks on Blockchain.
[BibTeX]
[DOI]
Bin Wang
,
Han Liu
,
Chao Liu
,
Zhiqiang Yang
,
Qian Ren
,
Huixuan Zheng
,
Hong Lei
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

2020
Studying gas exceptions in blockchain-based cloud applications.
[BibTeX]
[DOI]
Chao Liu
,
Jianbo Gao
,
Yue Li
,
Huihui Wang
,
Zhong Chen
J. Cloud Comput., 2020

2019
Towards automated testing of blockchain-based decentralized applications.
[BibTeX]
[DOI]
Jianbo Gao
,
Han Liu
,
Yue Li
,
Chao Liu
,
Zhiqiang Yang
,
Qingshan Li
,
Zhi Guan
,
Zhong Chen
Proceedings of the 27th International Conference on Program Comprehension, 2019

EasyFlow: keep ethereum away from overflow.
[BibTeX]
[DOI]
Jianbo Gao
,
Han Liu
,
Chao Liu
,
Qingshan Li
,
Zhi Guan
,
Zhong Chen
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Understanding Out of Gas Exceptions on Ethereum.
[BibTeX]
[DOI]
Chao Liu
,
Jianbo Gao
,
Yue Li
,
Zhong Chen
Proceedings of the Blockchain and Trustworthy Systems - First International Conference, 2019

2018
EClone: detect semantic clones in Ethereum via symbolic transaction sketch.
[BibTeX]
[DOI]
Han Liu
,
Zhiqiang Yang
,
Chao Liu
,
Yu Jiang
,
Wenqi Zhao
,
Jiaguang Sun
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

S-gram: towards semantic-aware security auditing for Ethereum smart contracts.
[BibTeX]
[DOI]
Han Liu
,
Chao Liu
,
Wenqi Zhao
,
Yu Jiang
,
Jiaguang Sun
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

ReGuard: finding reentrancy bugs in smart contracts.
[BibTeX]
[DOI]
Chao Liu
,
Han Liu
,
Zhao Cao
,
Zhong Chen
,
Bangdao Chen
,
Bill Roscoe
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018


  Loading...