Attestierung von Smart Contract Ausführungen (T01*)

• Fachliche Zuordnung: Sicherheit und Verlässlichkeit, Betriebs-, Kommunikations- und verteilte Systeme
• Förderung: Förderung seit 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 236615297

In Zusammenarbeit mit NEC Laboratories Europe besteht das Ziel des Projekts in der Entwicklung und Integration neuer Execution Engines und Compiler für Smart Contracts mit Schwerpunkt auf Business-Blockchains wie Hyperledger Fabric. Sowohl Sereum als auch EVMPatch, die im Rahmen von S2 entwickelt wurden, stehen vor Herausforderungen in der Praxis. Sereum attestiert derzeit nur Ethereum-Transaktionen. Das Projekt überträgt Sereum auf Permissioned und Private Blockchain-Architekturen und erweitert dessen Attestierungsumfang. EVMPatch ermöglicht es, den Bytecode von Smart Contracts zu verändern. Hier entwickelt T1 automatisierte Upgrade-Mechanismen, die Schwachstellen in Smart Contracts patchen.

• DFG-Verfahren: Sonderforschungsbereiche (Transferprojekt)
• Teilprojekt zu: SFB 1119: CROSSING - Kryptographiebasierte Sicherheitslösungen als Grundlage für Vertrauen in heutigen und zukünftigen IT-Systemen
• Antragstellende Institution: Technische Universität Darmstadt
• Teilprojektleiter: Professor Dr.-Ing. Lucas Davi