Information Security Group

News from the Information Security Group at @ETH_en. Tweets from our group members represent personal views only.

[Ralf Sasse @RalfSasse]

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
https://t.co/y75tMSyQma

[Information Security Group @INFSECatETH]

Register until July 31: #CAS and #DAS in #CyberSecurity. Learn more about this program at the #ETH department of computer science here: https://t.co/hefzNiod2q and here: https://t.co/IGeSZqaOBH (BaP)

[Information Security Group @INFSECatETH]

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

[Information Security Group @INFSECatETH]

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