Biography

I am a Cryptography Engineer in the Privacy team at Nomadic Labs. Before joining the team, I was a PhD student in the PROSECCO team at INRIA Paris, working under the supervision of Karthikeyan Bhargavan.

The information about my PhD defense is available here. The slides and report can be found here and here.

Also, I am one of the maintainers of the hacl-star project.