EN FR
EN FR


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