Attestation of Smart Contract Execution (T01*)

• Subject Area: Security and Dependability, Operating-, Communication- and Distributed Systems
• Term: since 2022
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 236615297

In cooperation with NEC Laboratories Europe, the project’s goal is to develop and integrate new execution engines and compilers for smart contracts, focusing on business blockchains such as Hyperledger Fabric. Both Sereum and EVMPatch, developed in S2, face several real-world deployment challenges. Sereum currently attests only Ethereum transactions. The project transfers Sereum to permissioned and private blockchain architectures and expands its attestation scope. EVMPatch allows to rewrite smart contract bytecode. For this, T1 develops automated upgrade strategies to patch smart contract vulnerabilities.

• DFG Programme: Collaborative Research Centres (Transfer Project)
• Subproject of: SFB 1119: CROSSING - Cryptography-Based Security Solutions: Enabling Trust in New and Next Generation Computing Environments
• Applicant Institution: Technische Universität Darmstadt
• Project Head: Professor Dr.-Ing. Lucas Davi