His research focuses on theories, tools, and techniques for developing dependable and secure systems as well as formal modelling and analysis of security in socio-technical systems. He participates in several international research projects and teaches courses on developing secure software at IT-Vest's Master in IT-Security.