1. SMT-based verification of solidity smart contracts;Alt,2018
2. Enriching word vectors with subword information;Bojanowski;Trans. Assoc. Comput. Linguist.,2017
3. Ethainter: a smart contract security analyzer for composite vulnerabilities;Brent,2020
4. Vandal: A scalable security analysis framework for smart contracts;Brent,2018
5. The story of the DAO—Its history and consequences;Falkon,2017