Blockchain and Smart Contracts, IBM Research - India Publications



2018

Zeus: Analyzing Safety of Smart Contracts
Sukrit Kalra, Seep Goel, Mohan Dhawan, Subodh Sharma
25th ISOC Symposium on Network and Distributed System Security (NDSS'18), 2018