Center for Secure Distributed Ledgers and Contracts

The World Runs on Blockchains

Our mission

The center for secure distributed ledgers and contracts is an initiative of TU Darmstadt together with strategic industry and academic partners for research and development of distributed ledger technologies and applications.

Our main vision is to develop secure and scalable decentralized blockchain technology using sound scientific methods, and transforming new ideas from proof-of-concepts into real-world systems. The center offers strong expertise in cryptography, IT security, programming languages and distributed systems to build future trustworthy blockchain-based solutions. In addition the center provides consulting and training for the industry. Together with our industry partners we aim for real-world impact in shaping the blockchain ecosystem of tomorrow.

Challenges

Performance & scalability

Confidentiality & privacy

Security by design

Real world connectivity

Compliance & business

Selected projects

BlockchainDB

While the main application of blockchains are crypto-currencies, blockchains are recently more and more used as general-purpose databases or key-value stores. However, a major problem is that existing implementations such as Ethereum or Hyperledger provide too low throughput and that they do not scale. In this project, we develop novel architectures for high-performance scalable blockchains that can sustain the requirements of modern data-driven applications.

Code is law

We design tools for correct and secure smart contracts and provide formal analysis of smart contract based applications. We also investigate legal aspects that are needed for guaranteed code execution.

Economy of distributed ledgers

In this project, we investigate applications of distributed ledger technology and smart contracts for finance, energy, the IoT and several other areas.

Hardware-assisted ledger technology

This project uses advanced security hardware technologies to protect the distributed ledger applications against run-time attacks.

Perun: secure and scalable channel network

Perun network is a system of payment and state channels over Ethereum. Perun's channels can be virtual, which means that the payments over longer chains of channels do not require interaction with the intermediate parties.

PQChain - post quantum secure ledgers

Most of currently deployed distributed ledger technologies are not prepared to be applied in a post-quantum world. PQChain is a distributed ledger protocol that is secure against future quantum computer attacks.

Privacy and secure computation

This project aims at developing privacy preserving blockchain technology and using smart contracts for building fair multi-party computation.

Events

Symposium:
Can The World Run on Blockchains?
The Good, The Bad, and The Ugly

Decentralized Blockchain technology and its manifold applications such as smart contracts and cryptocurrencies are intensively discussed in industry and academia. Although decentralization has many advantages such as being more resilient to cyberattacks and offering fair distribution of revenues, the further adoption of blockchain technology faces fundamental challenges including poor scalability and security vulnerabilities with potentially fatal consequences, but also economic and legal questions related to emerging applications and technology transfer, for example, in the domain of Internet of Things (IoT).

The goal of this symposium is to address these interdisciplinary challenges with some of the leading experts on blockchain technology from both academia and industry.

Organizers:

  • Prof. Sebastian Faust and Prof. Ahmad-Reza Sadeghi, TU Darmstadt
  • Prof. Philipp Sandner, Frankfurt School of Finance & Management
  • Claudia Prediger, CAST e.V.

Date: September 20-21, 2018

Location: Wilhelm-Köhler-Saal (Raum 283), TU Darmstadt, Altes Hauptgebäude (S1|03), Hochschulstr. 1, 64289 Darmstadt (see on Google Maps)

Agenda:

Thursday, September 20, 2018

12:00 am - 1:00 pmRegistration & Welcome
1:00 pm - 1:15 pmOpeningState Secretary Patrick Burghardt, Hessen State Ministry for Higher Education, Research and the Arts
1:15 pm - 1:45 pm Trust Must Be Real.
Or: Can the Economy Run on Crypto Tokens?
And: How Can Finance Use DLT?
Dr. Martin Diehl, German Central Bank
1:45 pm - 2:15 pm Blockchain Technologies and the Machine Economy - ‘Some Went Mad, Some Ran Away’Dr. Helge Königs, Daimler
2:15 pm - 2:45 pm Can Blockchains Be Made Better Using Hardware-assisted Security? Prof. N. Asokan, Aalto University, Finland
2:45 pm - 3:15 pmCoffee break
3:15 pm - 3:45 pm Trust and Blockchains - How Much Should we Trust and how Much Should we Distribute?Prof. Srdjan Capkun, ETH Zürich
3:45 pm - 4:15pm Security of Blockchain ApplicationsDr. Manfred Lochter, German Federal Office for Information Security (BSI)
4:15 pm - 4:45 pm What Has the Blockchain Ever Done For Us?Prof. Stefan Dziembowski, University of Warsaw
4:45 pm - 5:15 pmCoffee break
5:15 pm - 6:15 pmPanel Discussion Prof. N. Asokan, Aalto University, Finland
Prof. Alexandra Dmitrienko, Universität Würzburg
Raimund Groß, SAP Innovation Center Network
Prof. Jens Großklags, TU Munich
Prof. Philipp Sandner, Frankfurt School Blockchain Center
moderated by Prof. Ahmad-Reza Sadeghi, TU Darmstadt
6:30 pm - 9:00 pmDinner & Get together

Friday, September 21, 2018

8:00 am - 9:00 am Registration & Welcome
9:00 am - 9:30 am Blockchain Inside? Promises, Problems and OpportunitiesMichael Steiner, Intel Labs
9:30 am - 10:00 am How Blockchain Technology Can Be Utilized Within The Banking Industry: Case StudiesHelge Michael, Commerzbank
10:00 am - 10:30 am Economy of ThingsNik Scharmann, Bosch
10:30 am - 10:45 amCoffee break
10:45 am - 11:15 am Launching Bitcoins Into Space? The Potential of The Blockchain Technology to Enable Space 4.0Dr. Daniel Fischer, European Space Agency
11:15 am - 11:45 am Quantum Attacks to BlockchainsMichele Mosca, University of Waterloo, Canada
11:45 am - 12:15 am Blockchain as Part of ‘real World’ Solutions - Public, Private or Rather a Combination of Both?Dr. Stefan Teis, brainbot
12:30 am - 1:30 pmLunch
1:30 pm - 2:00 pm High Noon for Capital Market Players?Alexander Höptner, Stuttgart Stock Exchange
2:00 pm - 2:30 pm Crypto Dollar, Crypto Yuan, Crypto Euro? Central Bank Digital CurrenciesKlaus Löber, European Central Bank
2:30 pm - 3:00 pm Blockchain Technology: What You Chain Is Not What You GainProf. Alexandra Dmitrienko, Universität Würzburg
3:00 pm - 3:30 pmCoffee break
3:30 pm - 4:00 pm Smart Contracts and the LawDr. Christian Storck, LL.M., Linklaters LLP
4:00 pm - 4:30 pm An Empirical Evaluation of Scaling Cryptocurrencies Via Off-chain ChannelsPatrick McCorry, King's College London
4:30 pm - 4:45 pmClosing remarks

Supported by

News

  • Aug 1, 2018: Perun accepted at IEEE Symposium on Security and Privacy 2019
    Perun: Virtual Payment Hubs over Cryptocurrencies (Stefan Dziembowski, Lisa Eckey, Sebastian Faust, Daniel Malinowski)
    In this work, we introduce Perun, a system that combines payment channels allowed on cryptocurrencies. We present a new technique called "virtual payment channels" which avoids interaction with intermediaries for every single payment.
  • Aug 1, 2018: Two papers accepted at ACM Conference on Computer and Communications Security 2018
    Foundations of State Channel Networks (Stefan Dziembowski, Sebastian Faust, Kristina Hostakova)
    An extension of virtual payment networks to cryptocurrencies are so-called state-channel networks. In addition to simple virtual off-chain payments, they enable the execution of complex smart contracts in dicrect channels and channel networks. In this work, we givea first full specification for general state channel networks. Moreover, we provide formal security definitions and develop security proofs showing that our construction satisfies security against powerful adversaries.
    FairSwap: How to fairly exchange digital goods (Stefan Dziembowski, Lisa Eckey, Sebastian Faust)
    In this paper we introduce FairSwap - a new protocol for a fair exchange of digital goods over smart contracts. Our solution has two distinctive features that make it particularly interesting for large files: the cost of running the smart contract on the blockchain is minimal, and instead of expensive cryptographic tools such as zero-knowledge proofs, simple hashing techniques are sufficient.
  • May 17, 2018: the German Research Foundation (DFG) approved the second funding phase for the Collaborative Research Center CROSSING which has been existing at TU Darmstadt since 2014. We are very pleased that a new project "Secure and Scalable Blockchain Technology" was successfully integrated into the CROSSING phase II.
  • May 2, 2018: $250K granted to Perun by the Ethereum Foundation.
  • April 19, 2018: New Ethereum Tech Calls on Slavic Gods for Security.
  • April 18-20, 2018: Associated partner Prof. Stefan Dziembowski is visiting the Distributed Ledger Center to work on Blockchain Technology.

Principal Investigators

Prof. Sebastian Faust
Co-Director
Applied Cryptography LabCryptography, Consensus Protocols, Smart Contracts

Prof. Ahmad-Reza Sadeghi
Co-Director
System Security LabTrusted Computing, Hardware-Assisted Security, Applied Cryptography

Dr. Rachid El BansarkhaniQuantiCor SecurityPost-Quantum Cryptography and Blockchain Protocols

Dr. Sonja BergstraesserKOM – Multimedia Communications LabSmart Contracts and Smart Applications

Prof. Johannes A. BuchmannCryptography LabPost-Quantum Cryptography and Blockchain Protocols

Prof. Peter BuxmannSoftware & Digital Business GroupIndustry-specific potentials and related business values of blockchain technology applications

Prof. Carsten BinnigData Management LabScalable data management, cloud databases, transaction processing

Prof. Stefan KatzenbeisserSecurity Engineering GroupPrivacy Enhancing Technologies, Critical Infrastructures

Prof. Mira MeziniSoftware Technology GroupVulnerability Analysis for Smart Contracts

Prof. Max MühlhäuserTelecooperation groupTrust and Privacy for Humans and Cyber-physical Systems

Prof. Christian ReuterScience and Technology for Peace and SecurityHuman Computer Interaction, Blockchain Technologies for Governance Transparency, Consensus Schemes for Peace

Dr. Amr RizkKOM – Multimedia Communications LabDistributed Information Supply Chains

Prof. Thomas SchneiderEngineering Cryptographic Protocols GroupPractical Secure Computation, Privacy Enhancing Technologies

Prof. Ralf SteinmetzKOM – Multimedia Communications LabAdaptive Blockchain Systems

Researchers

Nikolaos AlexopoulosTelecooperation groupTrust Management in Distributed Systems

Raad BahmaniSystem Security Lab Smart Contract Vulnerabilities

Ferdinand BrasserSystem Security Lab Smart Contract Vulnerabilities

Lisa EckeyProvable Security of Smart Contracts, Decentralized Applications, Consensus Protocols

Poulami Das

Muhammad El-HindiData Management LabScalable and Trusted Key-Value Stores and Databases

Tommaso FrassettoSystem Security LabTrusted Computing, Hardware-Assisted Security

Matthias GeihsCryptography LabLong-Term Security and Blockchain Protocols

David GensSystem Security Lab Memory-Corruption Attacks and Defenses, Kernel-User Isolation, Reverse Engineering

Kristina HostakovaProvable Security for Blockchain Protocols

Patrick JauernigSystem Security Lab Smart Contract Vulnerabilities

David KoisserTU Darmstadt
& European Space Agency (ESA)
Blockchain in Space

Markus MiettinenSystem Security LabScalable Consensus Technologies in IoT Applications

Dr. Nadine OsternSoftware & Digital Business GroupIndustry-specific potentials and related business values of blockchain technology applications

Oleksandr TkachenkoEngineering Cryptographic Protocols GroupMulti-Party Computation, Privacy Enhancing Technologies

Academic Partners

Prof. N. AsokanSecure Systems Research Group, Aalto University, FinlandTrusted Systems, Consensus Schemes

Prof. Lucas DaviUniversity of Duisburg-Essen, GermanySoftware and System Security

Prof. Alexandra DmitrienkoSecure Software Systems Research Group, University of Würzburg, GermanySecurity of Distributed Systems, Self-Healing Smart Contracts, Mobile Cryptocurrencies

Prof. Stefan DziembowskiCryptology and Data Security Group, University of Warsaw, PolandCryptographic Foundations, Smart Contracts

Prof. Farinaz KoushanfarAdaptive Computing and Embedded Systems Lab, University of California San Diego, USAAdverserial Machine Learning, Hardware Security

Prof. Paul MüllerTU Kaiserslautern, adjunct to KOM – Multimedia Communications LabBlockchain Architectures and Protocols

Prof. Philipp SandnerBlockchain School, Frankfurt School of Finance & ManagementBusiness, Economics and Research Transfer

Prof. Indra SpieckerGoethe University of Frankfurt am Main, GermanyPublic Law, Information Law, Environmental Law, Legal Theory

Prof. Ivan ViscontiUniversity of Salerno, ItalyCryptographic Foundations, Security Protocols

Prof. Moti YungAdjunct Professor, Columbia University, USA

Industry Partners and Supporters

Education

Winter Semester 2017/2018

Lecture on Cryptocurrencies 3+1 (6 ETCS), TU Darmstadt. Lecturer: Sebastian Faust.
Topics include: eCash protocols, Bitcoin fundamentals, consensus, smart contracts, cryptocurrency attacks anonymity and many more

Summer Semester 2018

Programming Cryptocurrencies (6 ETCS), TU Darmstadt. Lecturer: Sebastian Faust and Ahmad-Reza Sadeghi.
The goal of the course is to develop a cryptocurrency project in a team of up to 3 students.

Seminar “Blockchain Technology” (3 ECTS), TU Darmstadt. Lecturer: Prof. Buchmann and Dr. El Bansarkhani.

Cryptography Lab “Various Topics on Blockchains” (6 ECTS), TU Darmstadt. Lecturer: Prof. Buchmann and Dr. El Bansarkhani.

Contacts

  • Email
  • Address Mornewegstrasse 30
    D-64293 Darmstadt
    Germany