Lucca Hirschi is a post-doc researcher at ETH Zürich in the Information Security Group, hosted by David Basin. His research interests mainly focus on formal methods for security and privacy and their applications (establish formal guarantees and discoveries of attacks). He completed his Ph.D at École Normale Supérieure Paris-Saclay under the supervision of David Baelde and Stéphanie Delaune.