Beschreibung:

In dieser Vorlesung erhalten die Studierenden einen Überblick über Sicherheitsaspekte in Kryptowährungen und Blockchain Technologien mit Fokus auf Smart Contract Security. Die Vorlesung umfasst folgende Themenschwerpunkte:

• Historie von digitalen Währungen
• Datenstruktur der Blockchain und Merkle Bäume
• Grundprinzipien von Bitcoin: Double-Spending Problem, Proof-of-Work Consensus Protokoll, Digitale Signaturen, Transaktionen
• Grundprinzipien von Ethereum: Smart Contracts, Gas Mechanismus, Proof-of-Stake Consensus Protokoll
• Smart Contract Schwachstellen Analyse und Angriffstechniken
• Sichere Entwicklung und Härtung von Smart Contracts
• Smart Contract Programmiersprachen (Solidity, Rust) und Compiler
• Alternative Kryptowährungen und Smart Contract Technologien (z.B. Solana)
• Blockchain Technologien aus der industriellen Forschung am Beispiel von HyperLedger Fabric

Literatur:

• A. Narayanan, J. Bonneau, E. Felten, A. Miller, S. Goldfeder: Bitcoin and Cryptocurrency Technologies: A Comprehensive Introduction, Princeton Univers. Press, 2019
• A. Antonopoulos: Mastering Bitcoin: Unlocking Digital Cryptocurrencies, O'Reilly Media, 2nd edition, 2017
• L. Lantz, D. Cawrey: Mastering Blockchain: Unlocking the Power of Cryptocurrencies, Smart Contracts, and Decentralized Applications, O'Reilly Media, 2020