Cryptography-based security solutions and cryptographic primitives can only support trust if sound implementations exist and users and developers are supported in integrating them into their applications. Thus, the goal of this project area is to develop methods and technologies that allow for secure implementation of cryptography and enable users and developers who may not be cryptography experts in properly applying cryptography.

E3 - Secure Refinement of Cryptographic Algorithms

Cryptographic algorithms often become insecure because vulnerabilities are introduced while refining these algorithms to implementations. Side-channels, like differences in running time of a program depending on secrets, constitute an infamous class of implementation-level vulnerabilities. Our overall objective is to improve the trustworthiness of cryptography on the level of implementations, and, in particular, to detect and mitigate side-channel vulnerabilities. The results will include novel program analyses, a security analysis tool, accompanying soundness results and guidelines for implementing cryptographic algorithms securely.


Alexandra Weber

Modeling and Analysis of Information Systems


  • Formal methods.
  • Semantics.
  • Program analysis.
  • Software security.
  • Interactive theorem proving.

Yuri Dantas

Modeling and Analysis of Information Systems


  • Security Information.
  • Computer Networks.

Johannes Schickel

Modeling and Analysis of Information Systems


  • Static program analysis.
  • Software security.
  • Side-channel attacks.
  • Secure coding.
  • Programming languages.
  • Decompilation.
Görkem Kilinç

Modeling and Analysis of Information Systems


  • Formal Methods.
  • Non-interference.
  • Liveness.
  • Concurrency.
  • Petri nets.
  • Games on graphs.

CROSSING Publications E3

Additional Attributes


Side-Channel Analysis of Privacy Amplification in Postprocessing Software for a Quantum Key Distribution System

Oleg Nikiforov, Alexander Sauer, Johannes Schickel, Alexandra Weber, Gernot Alber, Heiko Mantel, Thomas Walther
January 2018

SFB 1119 - Contact

Contact E3

Heiko Mantel
TU Darmstadt
Department of Computer Science
Modeling and Analysis of Information Systems
Hochschulstraße 10
64289 Darmstadt

Marc Fischlin
Technische Universität Darmstadt
Fachbereich Informatik
Kryptographie & Komplexitätstheorie
Mornewegstrasse 30
64293 Darmstadt


Funded by

A A A | Drucken Print | Impressum Impressum | Sitemap Sitemap | Kontakt Contact | Website Analysis: More Information
zum Seitenanfangzum Seitenanfang