Sicheng Hao
Affiliations:- Sun Yat-sen University (SYSU), Guangzhou, China
According to our database1,
Sicheng Hao
authored at least 2 papers
in 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on github.com
On csauthors.net:
Bibliography
2023
SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and Binding.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023