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  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.).
Best Paper Award:
DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice, in: 39th IEEE Symposium on Security and Privacy, San Francisco, United States, May 2018.