Search

Search results

• Exclusive Ownership of Fiat-Shamir Signatures

  News | 18.08.2025

  The paper "Exclusive Ownership of Fiat-Shamir Signatures: ML-DSA, SQIsign, LESS, and More" by Michael Meyer and Maximiliane Weishäupl in collaboration...

  • Informatics and Data Science|
  • Research|
  • Publication|

  

• Binding Security of Explicitly-Rejecting KEMs

  News | 08.12.2025

  The paper "Binding Security of Explicitly-Rejecting KEMs via Plaintext Confirmation and Robust PKEs" by Juliane Krämer and Maximiliane Weishäupl in...

  

• What's Decidable About Arrays With Sums?

  News | 28.04.2025

  The paper "What's Decidable About Arrays With Sums?" by Roland Herrmann and Philipp Rümmer was accepted at CADE-30. The conference will take place...

  • Informatics and Data Science|
  • Research|
  • Publication|

  

• Successful PhD Defense

  News | 05.06.2025

  Zafer Esen has successfully defended his doctoral thesis entitled "Transformations for Verifying Programs with Heap-Allocated Data Structures"....

  • Informatics and Data Science|
  • Awards|

  

• A New Approach for Showing Termination of Parameterised Transition Systems

  News | 23.06.2025

  The paper "A New Approach for Showing Termination of Parameterised Transition Systems" by Roland Herrmann and Philipp Rümmer was accepted at CIAA...

  • Informatics and Data Science|
  • Research|
  • Publication|

  

• Complementable Normal Form of Parametrised Automata

  News | 23.06.2025

  The paper "Complementable Normal Form of Parametrised Automata" by Franziska Alber and Philipp Rümmer was accepted at CIAA 2025. The conference will...

  • Informatics and Data Science|
  • Research|
  • Publication|

  

• Field Tested Authentication for Quantum Key Distribution and DoS Attacks

  News | 01.05.2025

  The paper "Field Tested Authentication for Quantum Key Distribution and DoS Attacks" by Antoine Gansel, Juliane Krämer, Tim Schumacher, Patrick...

  • Informatics and Data Science|
  • Research|
  • Publication|

  

• Award for Kata Vuk

  News | 17.09.2024

  Kat Vuk (FIDS, Machine Learning Group) joins the Graduate Centre at the Bavarian Research Institute for Digital Transformation (bidt).

  • Informatics and Data Science|
  • Support|
  • Research|

  

• FIDS prize awarded for special commitment

  News | 27.11.2024

  The first FIDS prize for special commitment by young female scientists goes to Dr Tanja Auge (Data Engineering), Magdalena Glas (Information Systems...

  • Informatics and Data Science|
  • Awards|

  

• Article in “nature”

  News | 09.04.2025

  co-authored by Francisca R. Ringeling, Stefan Canzar, and Juan F. I. Martinez

  • Informatics and Data Science|
  • Research|
  • Publication|