I am a PhD student of the SPLITS team at the Centre Inria d’Université Côte d’Azur, and I got my MSc in Computer Science at the University of Bologna in 2022. My main research interest lies in the application of formal methods to study the interactions of randomized computation and security.