Ralf Sasse (@ralfsasse) 's Twitter Profile
Ralf Sasse

@ralfsasse

Senior Scientist, Information Security Group, ETH Zurich

ID: 995393090918723585

linkhttp://people.inf.ethz.ch/rsasse/ calendar_today12-05-2018 19:59:41

331 Tweet

233 Followers

226 Following

Ralf Sasse (@ralfsasse) 's Twitter Profile Photo
Ralf Sasse
@ralfsasse

7 years ago

New at CCS18: Formal Analysis of 5G -5G improves privacy but still suffers from traceability attacks -5G standard lacks security goals and assumptions -Fortunately, secure under our assumptions/fixes -Using Tamarin: formal, automated verification tool arxiv.org/abs/1806.10360