AChecker: Statically Detecting Smart Contract Access Control Vulnerabilities.

Asem Ghaleb, Julia Rubin, Karthik Pattabiraman

Browse the full ICSE paper archive.