News 2018

30 November 2018, 16:00h, CNB F 110
Speaker: Frederik Brix, ETH Master's thesis
Title: Adaptive Online Monitoring

27 November 2018, 14:00h, CNB F 110
Speaker: Andris Suter-Dörig, ETH Bachelor's thesis
Title: Formalizing and Verifying the Security Protocols from the Noise

6 November 2018, 14:00h, CNB F 110
Speaker: Jorge Luis TORO POZO, Université du Luxembourg
Title: Collusion in Security Protocols and Terrorist Fraud as a Use Case

5 November 2018, 14:00h, CNB F 100.9
Speaker: Martin Raszyk
Title: On the Complexity of Reoptimization and Kernelization

18 September 2018, CNB F 110
14:00h:
Speaker: Manuel Bröchin, ETH Bachelor's thesis
Title: Monotone Reasoning about Run Times in Higher-Order Logic
14:30h:
Speaker: Silvia Siegrist, ETH Bachelor's thesis
Title: A private mode for OpenID Connect

17 September 2018, 14:00h, CNB F 110
Speaker: Rayan Hallal, American University of Beirut
Title: From Global Choreography to Efficient Distributed Implementation

30 August 2018, 14:00h, CNB F 110
Speaker: Amine M'Charrak, student at Technical University of Munich
Title: In Search of a Disentangled Latent Space in Natural Language Processing (NLP) for an Interpretable and Reusable Representation of Natural Language

19 June 2018, 14:00h, CNB F 110
Speaker: Kevin Huberty, ETH Bachelor's thesis
Title: Learning Airline Dynamic Pricing Strategies

21 June 2018, 14:00h, CNB F 110
Speaker: Karel Kubíček, Masaryk University
Title: Can automated black-box analysis find a flaw in cipher missed by a human cryptanalyst?

19 January 2018, 14:00h, CNB F 110
Speaker: Zhengqi (Emily) Yu, Imperial College London
Title: Model Checking Under Different Information and Memory Settings

external page ATVA 2018 Distinguished Paper award
Authors: Prof. David Basin, Bhargav Bhatt and Dmitriy Traytel
Title: Optimal Proofs for Linear Temporal Logic on Lasso Words

Dr. Lucca Hirschi
Award: Doctoral disseration prize
Affiliation: pré-GDR Sécurité Informatique (CNRS, France)

external page GSMA 2018: Mobile Security Research Hall of Fame
Authors: Prof. David Basin, Jannik Dreier, Lucca Hirschi, Saša Radomirović, Ralf Sasse, Vincent Stettler
Title: ETH researchers uncover security gaps in the 5G mobile communication standard

10.10.2018 - ETH researchers uncover security gaps in the 5G mobile communication standard

Researchers in the Information Security Group subjected the upcoming 5G mobile communication standard to a comprehensive security analysis. Their conclusion: data protection is improved in comparison with the previous standards 3G and 4G. However, security gaps are still present.