Ongoing Projects

Crossing II S7: Secure and scalable Blockchain Technology (DFG)

Off-chain Labs: Formal models, constructions and proofs (Ethereum Foundation)

ATHENE: Trustworthy Data Ecoystems (TRUDATA)

Copernicus

Past Projects

VeriSec: Computergestützte Erzeugung und Verifikation von Maskierungen in kryptographischen Implementierungen (BMBF)

ProChain: Innovative ideas to protect cyber threats (BMBF)

Beyond the Black-box Model (DFG – Emmy Noether Program)

Multiparty Computation meets Blockchain (Collaboration with Robert Bosch GmbH)

Industrial Blockchain – iBlockchain (BMBF)