This is the homepage of the research group on foundations of dependability and security (FDS). We are interested in the formal foundations of problems arising in the context of security and dependability, comprising:

• verification techniques
• temporal logics
• automata theory
• applied cryptography

Please note that this page and all its sub-pages are currently under reconstruction!