PGP key Mail : leo.robert (at) uca.fr

I am a post-doc at XLIM (Limoges, France) under the supervision of Cristina ONETE, mainly about protocols in the post-quantum paradigm.

I have the qualification for section 27 (computer science):

Former PhD student under the supervision of Pascal LAFOURCADE and Cristina ONETE, I worked at LIMOS with subject:
"Design and Verification of Security Protocols for Heterogeneous 5G loT Devices"

Those researches were part of the ANR project MOBIS5.

My research focus on protocols design with specific view toward provable security (mainly computational). The topics I am working on at this moment are:

• Post-Compromise Security (PCS)
• Signal protocol
• PQ protocols
• Physical ZKP
• FUN