Not all www-pages are available in english. Links marked "(ger)" lead to pages in german.
Finished Research
- Formal Verification of Cryptographic Algorithm
s
The goal of the Verisoft-Project is to build a computer system which can be formally proven to be correct. Researches from various organizations like DFKI, TU Munich or Saarland University take part at the Verisoft project. The cryptographic part ranges from formally proving the correctness of number theoretic theorems to the security of cryptographic protocols like SSH.
- Provable Security
In the aftermath of the invention of public key cryptography by W. Diffie and M. E. Hellman in 1976, design and evaluation of public key cryptosystems has been done merely in an ad-hoc manner based on trial-and-error. But very quickly, due to various cryptanalytic achievements resulting in lots of broken schemes, the cryptographic community understood that this ad-hoc approach might be not enough. The paradigm of provable security is an outcome of this insight. The goal of provable security is to prove the security of a cryptosystem formally in an appropriate model.
Finished Projects
- TU Darmstadt:
- Graduiertenkolleg Infrastruktur für den elektronischen Markt
- Graduiertenkolleg Ubiquitäres Rechnen(ger)
Interdisziplinäres Graduiertenkolleg der DFG, an dem die Fachbereiche Informatik und Elektrotechnik beteiligt sind
- Graduiertenkolleg Infrastruktur für den elektronischen Markt
- Bundesministerium für Bildung und Forschung(ger):
-
Verisoft - Formale Verifikation von kryptographischen Algorithmen
-
Verisoft - Formale Verifikation von kryptographischen Algorithmen
- BSI - Bundesamt für Sicherheit in der Informationstechnik
- "Entwicklung eines GF(p)-basierten Elliptic Curve Kryptoprozessors in
rekonfigurierbarer Hardware"(ger) in cooperation with the group
Integrated Circuits and Systems Lab , Prof. S. Huss
- "Entwicklung eines GF(p)-basierten Elliptic Curve Kryptoprozessors in
rekonfigurierbarer Hardware"(ger) in cooperation with the group
Integrated Circuits and Systems Lab , Prof. S. Huss
- DFG (Deutsche Forschungsgemeinschaft, German Research Foundation)
- "Crypto systems on the basis of algebraic number fields
- "Crypto systems on the basis of algebraic number fields
- Fujitsu Laboratories
Research project on efficient cryptographic algorithms - NTT Laboratories, Nippon Telegraph and Telephone Corporation:
Research project on distributed time stamping service - SONY
Elliptic curve cryptography, number field cryptography and their fast implementation techniques - TÜV Süddeutschland(ger)
Highly secure Trustcenter-applications
