Evaluation of Smart Contract Tools for Comprehensive Vulnerability Detection and Optimal Integration.

Kentaro Sako, Daiki Ito, Takuya Watanabe, Yuta Takata, Hiroshi Kumagai, Masaki Kamizono, Tatsuya Mori

Browse the full SAC paper archive.