I am a PhD student at INRIA Nancy. I am a member of the PESTO team and I work under the supervision of Steve Kremer and Jannik Dreier.
My PhD focuses on the synthesis of cryptographic protocols.
I am a PhD student at INRIA Nancy. I am a member of the PESTO team and I work under the supervision of Steve Kremer and Jannik Dreier.
My PhD focuses on the synthesis of cryptographic protocols.