Modern blockchains, such as Ethereum, enable the execution so-called smart contracts. However, just like traditional programs, smart contracts are subject to programming mistakes. In the past few years, several smart contracts have been exploited, resulting in many valuable assets being stolen. In this dissertation, we explore the security of smart contracts from three different perspectives: vulnerabilities, attacks, and defenses, and demonstrate that, as so often, "smart" does not imply "secure".     «

Modern blockchains, such as Ethereum, enable the execution so-called smart contracts. However, just like traditional programs, smart contracts are subject to programming mistakes. In the past few years, several smart contracts have been exploited, resulting in many valuable assets being stolen. In this dissertation, we explore the security of smart contracts from three different perspectives: vulnerabilities, attacks, and defenses, and demonstrate that, as so often, "smart" does not imply "secur...     »

Neuartige Blockchains, wie Ethereum, ermöglichen die Ausführung sogenannter Smart Contracts. Smart Contracts sind jedoch genau wie herkömmliche Programme anfällig für Programmierfehler. In den letzten Jahren wurden bereits mehrere Smart Contracts ausgebeutet. In dieser Dissertation analysieren wir die Sicherheit von Smart Contracts mit dem Fokus auf drei verschiedene Aspekte: Schwachstellen, Angriffe und Schutzmechanismen, und zeigen, dass "smart", wie so oft, nicht automatisch "sicher" bedeutet.     «

Neuartige Blockchains, wie Ethereum, ermöglichen die Ausführung sogenannter Smart Contracts. Smart Contracts sind jedoch genau wie herkömmliche Programme anfällig für Programmierfehler. In den letzten Jahren wurden bereits mehrere Smart Contracts ausgebeutet. In dieser Dissertation analysieren wir die Sicherheit von Smart Contracts mit dem Fokus auf drei verschiedene Aspekte: Schwachstellen, Angriffe und Schutzmechanismen, und zeigen, dass "smart", wie so oft, nicht automatisch "sicher" bedeutet...     »