CONFidence 2018: Outsmarting smart contracts (Damian Rusinek)