I’m happy to announce that two papers have been accepted at ESORICS 2020. The first one is about the security certification of decision tree models, while the other one is about a holistic and formally verified approach to the security monitoring of web protocols. Both papers will be available soon on my homepage.