VerX: Safety Verification of Smart Contracts

Anton Permenev, Dimitar Dimitrov, Petar Tsankov, Dana Drachsler-Cohen, Martin T. Vechev. VerX: Safety Verification of Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1661-1677, IEEE, 2020. [doi]

Abstract

Abstract is missing.