ReSect: A Tool for Automated Analysis of Reentrancy Transactions on Blockchains.

Yuqi Liu, Rui Xi, Karthik Pattabiraman

Browse the full DSN paper archive.