Blockchain and Smart Contract Engineering

Because smart contracts are often small programs, tools to prevent attacks are often based on analyzing the smart contract code to identify vulnerabilities a priori.