Actualité - Offre d'emploi, de thèse

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.