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