We stand with Ukraine  

Ye Liu

Orcid: 0000-0001-6709-3721

Affiliations:
  • Nanyang Technological University, NTU, School of Computer Science and Engineering, Singapore (PhD 2023)


According to our database1, Ye Liu authored at least 17 papers between 2020 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Demystifying Invariant Effectiveness for Securing Smart Contracts.
[BibTeX]
[DOI]
Zhiyang Chen
,
Ye Liu
,
Sidi Mohamed Beillahi
,
Yi Li
,
Fan Long
Proc. ACM Softw. Eng., 2024

OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond.
[BibTeX]
[DOI]
Zhiyang Chen
,
Ye Liu
,
Sidi Mohamed Beillahi
,
Yi Li
,
Fan Long
CoRR, 2024

Demystifying the Characteristics for Smart Contract Upgrades.
[BibTeX]
[DOI]
Ye Liu
,
Shuo Li
,
Xiuheng Wu
,
Yi Li
,
Zhiyang Chen
,
David Lo
CoRR, 2024

PropertyGPT: LLM-driven Formal Verification of Smart Contracts through Retrieval-Augmented Property Generation.
[BibTeX]
[DOI]
Ye Liu
,
Yue Xue
,
Daoyuan Wu
,
Yuqiang Sun
,
Yi Li
,
Miaolei Shi
,
Yang Liu
CoRR, 2024

Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Cyrille Artho
,
Yixuan Liu
CoRR, 2024

Automated Invariant Generation for Solidity Smart Contracts.
[BibTeX]
[DOI]
Ye Liu
,
Chengxuan Zhang
,
Yi Li
CoRR, 2024

DeFort: Automatic Detection and Analysis of Price Manipulation Attacks in DeFi Applications.
[BibTeX]
[DOI]
Maoyi Xie
,
Ming Hu
,
Ziqiao Kong
,
Cen Zhang
,
Yebo Feng
,
Haijun Wang
,
Yue Xue
,
Hao Zhang
,
Ye Liu
,
Yang Liu
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023
On security and reliability of smart contracts: the applications of dynamic specification mining on solidity
[BibTeX]
[DOI]
Ye Liu
PhD thesis, 2023

A Comprehensive Study of Governance Issues in Decentralized Finance Applications.
[BibTeX]
[DOI]
Wei Ma
,
Chenguang Zhu
,
Ye Liu
,
Xiaofei Xie
,
Yi Li
CoRR, 2023

2022
Oracle-Supported Dynamic Exploit Generation for Smart Contracts.
[BibTeX]
[DOI]
Haijun Wang
,
Ye Liu
,
Yi Li
,
Shangwei Lin
,
Cyrille Artho
,
Lei Ma
,
Yang Liu
IEEE Trans. Dependable Secur. Comput., 2022

SolSEE: a source-level symbolic execution engine for solidity.
[BibTeX]
[DOI]
Shang-Wei Lin
,
Palina Tolmach
,
Ye Liu
,
Yi Li
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

A Unified Specification Mining Framework for Smart Contracts.
[BibTeX]
[DOI]
Ye Liu
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Identifying Solidity Smart Contract API Documentation Errors.
[BibTeX]
[DOI]
Chenguang Zhu
,
Ye Liu
,
Xiuheng Wu
,
Yi Li
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Finding permission bugs in smart contracts with role mining.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Cyrille Artho
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2020
ModCon: a model-based testing platform for smart contracts.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Qiang Yan
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

Towards automated verification of smart contract fairness.
[BibTeX]
[DOI]
Ye Liu
,
Yi Li
,
Shang-Wei Lin
,
Rong Zhao
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020


  Loading...