I am currently a PhD student under the supervision of Hubert Comon. My thesis is on automated proofs of computational indistiguishability properties for security protocols.
- Deciding Indistinguishability, 2018: arxiv, pdf
- The 5G-AKA Authentication Protocol Privacy, 2018: arxiv, pdf
My older works can be found here