Test-of-time award at IEEE S&P 2022

ZISC Partner SCION received a test-of-time award at the IEEE Symposium on Security and Privacy for the first SCiON paper published in 2011. The paper introduced SCION, a clean-slate secure Internet architecture designed to provide high availability in the presence of adversaries, trust and path transparency, and inter-domain multipath routing. Since its first appearance, SCION

Solving deceptive cookie banners with machine learning

Cookie banners are fooling users into consent and the websites do not respect user choices. ETH researchers show the prevalence of this deceptive website behavior and developed a solution: a browser extension CookieBlock that uses machine learning to protect user’s privacy. Cookies make web browsing stateful. They enable websites’ customization and authenticated sections. However, they

SCION enters everyday service

Members of the ETH community who need a fast, secure and reliable internet connection for their data now have an alternative: SCION network technology, invented at ETH Zurich, is now also available to any ETH lecturers, researchers or employees with special security, performance or reliability requirements. SCION is a fast, secure and reliable alternative to

ZISC faculty member Prof. Perrig named IEEE Fellow

The IEEE Fellow Committee announced the newly elevated IEEE Fellows of 2021 — amongst them is ZISC faculty member and ETHZ Professor Adrian Perrig. This distinction recognises the extensive research and outstanding accomplishments in any of the IEEE fields of interest. Adrian Perrig has been named IEEE Fellow for his contributions to network and system security. Perrig’s research

ETH Zurich professor discovers vulnerability in Intel

An international research team whose members include ETH Zurich Assistant Professor Shweta Shinde  has revealed a vulnerability in the security architecture of Intel processors. A few years ago, Intel, the world’s leading supplier of PC microprocessors, introduced an improvement that promised greater data security: Software Guard Extensions (SGX). These are hardware-​based control mechanisms that ensure

A decade of dedication to “Secure Internet” has come to fruition

The growing cyber threats are shaking the foundations of Internet-based services that have become essential in today’s society, culture, economy, and politics. In particular, in the field of financial services, which is witnessing a rapid migration from offline to online, secure and reliable communication is a key consideration. The  Network Security Group (Prof. Adrian Perrig),

Linking Protocol and Code Verification

The formal verification of entire software systems is one of the grand challenges of computer science. Recently, researchers from Prof. David Basin’s and Prof. Peter Müller’s groups have made significant progress on this challenge. In a paper at this year’s Object-Oriented Programming, Systems, Languages & Applications conference (OOPSLA’20), they propose a new approach, dubbed Igloo,