A Solicitous Approach to Smart Contract Verification

TitleA Solicitous Approach to Smart Contract Verification
Publication TypeJournal Article
Year of Publication2022
AuthorsOtoni, Rodrigo, Marescotti Matteo, Alt Leonardo, Eugster Patrick, Hyvärinen Antti E. J., and Sharygina Natasha
JournalACM Transactions on Privacy and Security
Type of ArticleFull-Length Research Paper
URLhttps://dl.acm.org/doi/10.1145/3564699