I am a graduate student working on software engineering at the Inplus Lab of Sun Yat-sen University. My research interests include software engineering and smart contracts. Now, I am supervised by Associate Prof. Yuhong Nan and Prof. Zibin Zheng, co-working with many awesome lab fellows. Meanwhile, based on soft programs of our lab, I have been drawing much effort on the digital economy and data assets.
Research Publication
I am now focusing on different dependable aspects of smart contracts. Besides basic program analysis, I am trying to solve problems between human intention and code.
[FSE'24] SmartAxe: Detecting Cross-Chain Vulnerabilities in Bridge Smart Contracts via Fine-Grained Static Analysis.
Zeqin Liao, Henglong Liang, Yuhong Nan, Sicheng Hao, Zibin Zheng, Juan Zhai, Jiajing Wu.
PDF, Code
[ASE'23] SmartCoCo: Checking Comment-code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Sicheng Hao, Yuhong Nan, Zibin Zheng, Xiaohui Liu.
PDF, Code, Slide
[ISSTA'23] SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
Zeqin Liao, Sicheng Hao, Yuhong Nan, Zibin Zheng.
PDF, Code, Slide(My Version)
Project & Program
Including Science Reseach, Soft programs, Engineering projects. Limited information can be listed. More in the Chinese homepage.
[Soft Project, Data Assets] Research on Data Capitalization Strategy in Shenzhen.
Shenzhen Association for Science and Technology. 2022-2024. FYI.
[Reaseach, Smart Contract] Consistency and Security in Smart contract.
Webank. 2021-2023. FYI.1
[Soft Project, Data Assets] White Paper: Power Data Valuation.
China South Grid. 2022-2023. FYI.
[Soft Project, Digitalization] Building Digitalization Center in Lijiao Area.
Zhuguang Holdings. 2021-2022.
[Soft Project, Digitalization] Digital Economy Development in Nanhai District.
Nanhai, Foshan. 2021-2022.
Misc
Language
Programming Languages: Python and Solidity for research, C/C++ for program contests, C# for MS tools, JavaScript for Web. Ocaml for PL-related tasks and fun.
Nature Languages: Chinese(Standard, Sichuan dialect), English. Some Cantonese and Japanese.
Other
FlyingFog and its varieties are common nicknames I used on Social Networks and Online Games. Know more about this nickname.
I am really looking forward to learning cutting-edge techniques on program analysis and text analytics. If you have same interests or wonderful insights to share, please let me know.