TU Wien Informatics


I am a doctoral researcher at the Security & Privacy research unit, supervised by Prof. Matteo Maffei.

My I research interests include cryptocurrencies, programming languages, program and protocol verification, computational logic, and applied cryptography. In my research I use methods from these areas to work towardsthe semantically founded verication and enforcement of security and privacy properties of emerging applications with a focus on blockchain and web protocols.