Ludovic Robin
LORIA, Équipe Pesto, Bât. A
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France
Contact me :
Office : A204
Phone: +33 (0) 3 54 95 86 51
Mail: ludovic.robin@loria.fr
LORIA, Équipe Pesto, Bât. A
Campus Scientifique, BP 239
54506 Vandoeuvre-lès-Nancy Cedex
France
Contact me :
Office : A204
Phone: +33 (0) 3 54 95 86 51
Mail: ludovic.robin@loria.fr
Ludovic Robin
Université de Lorraine - PhD Student
PESTO team at LORIA
Research
Papers
- Accepted paper to CSF 2017 :
Formal verification of protocols based on short authenticated strings
Stéphanie Delaune (CNRS/IRISA); Steve Kremer, Ludovic Robin (LORIA, CNRS & Inria Nancy & Université de Lorraine)
Interests
- Cryptographic protocols using low-entropy secrets..
- Verification of cryptographic protocols.
- Formal methods: symbolic models.