Application-oriented Formal Verification Research Group at the Institute of Information Security and Dependability (KASTEL)
The Application-oriented Formal Verification research group is led by Prof. Bernhard Beckert and exists since 2009 at the Institute of Theoretical Informatics (ITI) and the KIT Department of Informatics. Since 2021, we are affiliated with the Institute of Information Security and Dependability (KASTEL), and we are still associated with the ITI.
Our main research topic is the practical application of logic and formal methods for the specification and verification of software. In particular, we address the following application areas:
- verification of functional properties and software dependability
- verification of relational properties and software evolution
- verification of information-flow properties and IT security
- verification of social choice algorithms and voting rules
In the coming winter term, we will be offering the seminar Neural Networks in Formal Verification: Website (incl. registration link)
This seminar aims to provide an overview of the current research landscape in formal verification and the scope of neural networks in this domain. Specifically, it will explore two key aspects:
-
(1) Verification of Neural Networks (techniques, methods, and tools to ensure that neural networks operate safely, reliably, and as intended)
- (2) Neural Networks for Verification (utilizing AI and machine learning techniques to enhance traditional verification methods)
We will be offering various seminar topics on both research directions (list currently still incomplete, please let us know if you are interested but looking for a different topic). If you want to participate in the seminar please register via the WiWi-Portal. The seminar will be in English.
How can a voting system guarantee that the voter's vote remains undistorted? How secure are online voting systems and what are their limits? In their presentations on August 29, 2024, Felix Dörre and Michael Kirsten will examine computer-aided approaches that help to secure the integrity and confidentiality of the (online) voting process.
The talk “What are secure elections?” is an accompanying event to the current exhibition “Digiloglounge N°3. But is it secure?”. Currently on display there is “The Ignorant Voting Machine”, which was developed by Felix Dörre with the Cryptography and Security working group. Michael Kirsten and Felix Dörre provide an insight into the background to the associated research projects and invite you to a discussion.
The event starts at 6:30 pm. You will also have the opportunity to visit the exhibition “Digiloglounge N°3. But is it safe?” at 6 pm free of charge with the speakers and try out “The Ignorant Voting Machine” for yourself.