I am a post-doc at XLIM (Limoges, France) under the supervision of Cristina ONETE, mainly about protocols in the post-quantum paradigm.
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 are 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