formal verification techniques for cryptographic protocols, mobile apps, web applications, and smart contracts; applied cryptography for cloud services, cryptocurrencies, and analytics.
I studied Computer Science at the University of Venice (Italy), where I received the Laurea in 2002 and the Ph.D. in 2006. In the years 2006-2008, I conducted postdoctoral research at the Information Security and Cryptography group at Saarland University. In the years 2008-2013, I led the Language-Based Security group, which was affiliated with the Cluster of Excellence "Multimodal Computing and Interaction" and, since 2009, supported by the Emmy Noether fellowship by the German Research Foundation. In 2013 I was appointed W2 professor at Saarland University within the Competence Center on IT-Security, Privacy, and Accountability, where I am currently heading the Secure and Privacy-preserving Systems Group. In 2017, I joined TU Vienna as full professor and head of the Security and Privacy group. I regularly participate in the program committees of the most prominent conferences in security, privacy, and programming languages; I am steering committee chair of POST, the security conference of ETAPS; I serve as publicity chair of CSF; I am regular columnist for security and privacy in the ACM SigLog newsletter; and am member of the IFIP WG 1.7 Working Group on Theoretical Foundations of Security Analysis and Design. Here you can find my CV.