Information Security Group

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

Register until July 31: #CAS and #DAS in #CyberSecurity. Learn more about this program at the #ETH department of computer science here: inf.ethz.ch/continuing-edu… and here: inf.ethz.ch/continuing-edu… (BaP)

"Refining security protocols" by Christoph Sprenger and David Basin @ETH_en, DOI: 10.3233/JCS-16814

We perform research and education on methods and tools for the analysis and construction of safe and secure systems. This includes methods for specifying systems, developing systems in correctness-preserving ways, and verifying or testing existing systems and infrastructures