Two papers accepted at ESORICS
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.