🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

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)

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

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

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