Shinhae Kim, Sukyoung Ryu: Analysis of Blockchain Smart Contracts: Techniques and Insights. SecDev 2020: 65-73