Sunbeom So, Myungho Lee, JiSu Park, Heejo Lee, Hakjoo Oh. VERISMART: A Highly Precise Safety Verifier for Ethereum Smart Contracts. In 2020 IEEE Symposium on Security and Privacy, SP 2020, San Francisco, CA, USA, May 18-21, 2020. pages 1678-1694, IEEE, 2020. [doi]
Abstract is missing.