Roman Böhringer1 talk by Roman BöhringerSmart contract vulnerabilities from first principles / Roman Böhringer