Poste : Sujet de thèse
Date : 1 juillet 2019
Contact Mail : pascal.lafourcade@uca.fr , tel : 06 83 54 90 70
These : Design and Verification of Security Protocols for Heteregeneous 5G IoT Devices
Supervision: Pascal Lafourcade (LIMOS, UMR Université Clermont Auvergne) and Cristina Onete (XLIM, UMR 7252, Université de Limoges).
Location: LIMOS, Clermont Ferrand, France.
Research team: OlivierBlazy, GérardChalhoub, PascalLafourcade and Cristina Onete.
Starting date: October 2019.
Duration: 3 years (36 months).
Salary: 1500 e funded by the ANR project MOBIS5.
Contact: pascal.lafourcade@uca.fr, cristina.onete@gmail.com
Keywords: AuthenticatedKeyExchange(AKE),SecureDelegation,InternetofThing (IoT), 5G, Formal Verfication, Heteregenous Networks.