Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma. ZEUS: Analyzing Safety of Smart Contracts. In 25th Annual Network and Distributed System Security Symposium, NDSS 2018, San Diego, California, USA, February 18-21, 2018. The Internet Society, 2018. [doi]
Abstract is missing.