D-INFK news channel

A research team at ETH Zurich, headed by Kaveh Razavi, an affiliated faculty member of the Department of Computer Science, discovered a new class of vulnerabilities in Intel processors, allowing them to break down barriers between different users of a processor using carefully crafted instruction sequences. Entire processor memory can be read by employing quick, repeated attacks.

Professor Peter Müller and his co-author have been awarded the prestigious ETAPS Test of Time Award for their paper “A Basis for Verifying Multi-threaded Programs”. The ETAPS Test of Time Award has been established to recognise outstanding papers published more than 10 years ago. Congratulations!

ETH Zurich is establishing the Augmented Reality Research Hub (ETHAR) in close collaboration with Google. The hub aims to promote interdisciplinary research and produce scientific publications, open-source systems, and new datasets in the field of augmented reality. It is being led by Computer Science Professors Christian Holz and Thomas Hofmann.

On Wednesday, 7 May 2025, Federal Councillor Guy Parmelin visited the Institute for Computer Science, Artificial Intelligence and Technology (INSAIT) in Bulgaria. Among those in attendance were D-INFK Professor and INSAIT founder Martin Vechev, ETH President Joël Mesot, and the Bulgarian Prime Minister, Rosen Zhelyazkov. The visit marked the third anniversary of INSAIT’s official opening and the fourth year since its inception.

On 10 and 11 April, the cyber competition Geneva Cyber 9/12 Strategy Challenge 2025 took place. Team PhishTank from ETH Zurich won first place, while Team Ephex from EPFL came in third. Congratulations!