Using program synthesis to secure smart contracts (2018)synthetic-minds.com41 pointssaurabh20n7 years ago