Sailfish: Vetting Smart Contract State-Inconsistency Bugs in Seconds

Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
2022
PDF Cite Code Slides Teaser Video
Type
Conference paper
Publication
Proceedings of the IEEE Symposium on Security and Privacy (IEEE S&P)
Dipanjan Das
Dipanjan Das
System Security Researcher

My research interests include blockchain, smart-contract, and fuzzing of low-level system software.