-
October 15, 2024
Sabine Rieder is going to present the paper “Gaussian-Based and Outside-the-Box Runtime Monitoring Join Forces” at RV 2024 in Istanbul on 17.10.2024.
-
September 02, 2024
Florian Dorfhuber will present his resent paper “QuADTool: Attack-Defense-Tree Synthesis, Analysis and Bridge to Verification” at Qest on 10.09.2024.
-
July 25, 2024
Sabine Rieder presents the paper “Monitizer: Automating Design and Evaluation of Neural Network Monitors” at CAV in Canada.
-
April 24, 2024
We are excited to welcome eight interns joining us in May for the summer and look forward to great collaborations.
-
April 10, 2024
The group member Stefanie Mohr presented the work “Learning Explainable and Better Performing Representations of POMDP Strategies” at TACAS Conference in Luxembourg.
-
March 26, 2024
Congratulations to Kush Grover for successfully defending his PhD thesis!
-
December 10, 2023
The group member Florian Dorfhuber presented the work “Learning Attack Trees by Genetic Algorithms” at ICTAC Conference in Lima, Peru.
-
December 09, 2023
The webpage has been created.
