sCompile: Critical Path Identification and Analysis for Smart Contracts
A Survey on the Security of Blockchain Systems