SMARTEST: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution

Sunbeom So, Seongjoon Hong, Hakjoo Oh

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

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'SMARTEST: Effectively hunting vulnerable transaction sequences in smart contracts through language model-guided symbolic execution'. Together they form a unique fingerprint.

Engineering & Materials Science