I defended my dissertation with distinction under supervision of Bernhard Aichernig. Martin Leucker, University of Lübeck, acted as external examiner.

My thesis with the title Automata Learning for Security Testing and Analysis in Networked Environments. (PDF), includes nine publications on active and passive automata learning techniques for the model learning and security testing of network protocols.

Our paper Mining Digital Twins of a VPN Server has been presented at the workshop Applications of Formal Methods and Digital Twins in Lübeck, Germany.

In this paper, written together with Benjamin Wunderling, Bernhard K. Aichernig, and Edi Muškardin, we showcase how active automata learning can be used to mine digital twins of VPN servers.

Together with our industrial project partner AVL, we won the 3rd edition of the AIDOaRt hackathon.

In our presented hackathon challenge, we learning-based fuzzed the Bluetooth Low Energy interface of Automotive Grade Linux (AGL). For this purpose, we simulated the software components of a vehicle with AGL. You find more information in this article.