I’m extremely happy to announce that a paper on the application of static analysis to the certification of decision trees has been accepted at ESORICS 2020! This paper (pdf here) is the first result of a new collaboration with Stefano Calzavara and Claudio Lucchese started when I recently moved to Ca’ Foscari University. Stay tuned for further developments!