Research

Our Research Interests

• efficient algorithms, data structures and complexity theory
• foundations of algorithmic learning and neural computing
• discrete optimization
• hardware design and verification
• cryptography and computer security

Current Research Activities

• Complexity of Boolean functions in basic models with applications in cryptography and algorithmic learning
  (Related information)
• Algorithmic treatment of NP-hard optimization problems
  (Related information)
• Cryptanalysis of standard block ciphers
  (Related information)
• Cryptanalysis of common stream ciphers
  (Related information)
• Design of provably secure cryptosystems and cryptographic protocols
  (Related information)
• Secure mobile business: Design, implementation and verification of security/cryptography protocols for secure mobile business architectures
  (Related information)

Publications

• The publications of Frederik Armknecht
• The publications of Matthias Krause
• The publications of Stefan Lucks, a selection of them on-line for download
• The publications of Siavash Vahdati
• The publications of Dirk Stegemann
• The publications of Emin Islam Tatli

Events

• Krypto-Tag, 1. Dezember 2004 in Mannheim by Fachgruppe KRYPTO of the Gesellschaft für Informatik
• The joint Mobile Business Workshop organized by the University of Mannheim and SAP AG took place on 22.03.2005 at the University of Mannheim.
• First Kryptowochenende (01./02.07.2006) by Fachgruppe KRYPTO of the Gesellschaft für Informatik at Kloster Bronnbach near Würzburg