Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub


Section: Highlights of the Year

Highlights of the Year

Analysis of the 5G Standard

The work on the security analysis of the upcoming 5G mobile phone standard presented at CCS'18 [13] was acknowledged in the GSMA “Mobile Security Research Hall of Fame” and picked up by media in France, Switzerland and the UK (Daily Mail, 20 Minutes, Est Républicain, Tagesanzeiger, CNRS Le Journal, etc.).

Awards

Best Paper Award:
[18]
V. Cheval, S. Kremer, I. Rakotonirina.
DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice, in: 39th IEEE Symposium on Security and Privacy, San Francisco, United States, May 2018.
https://hal.inria.fr/hal-01763122