SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses

Jaeseung Choi, Doyeon Kim, Soomin Kim, Gustavo Grieco, Alex Groce, Sang Kil Cha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

56 Scopus citations

Fingerprint

Dive into the research topics of 'SMARTIAN: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science