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,

New Results on Anonymous Symmetric-Key Communication

Prof. Ueli Maurer and his PhD student Fabio Banfi , both part of Information Security and Cryptography research group at the ETH Institute of Theoretical Computer Science published a very interesting paper that was presented at this year’s Conference on Security and Cryptography for Networks (SCN 2020). It deals with the anonymity of probabilistic encryption (pE) and probabilistic authenticated encryption

SCION Tutorial at SIGCOMM 2020

At this year’s SIGCOMM conference, the flagship annual conference of the ACM Special Interest Group on Data Communication, Prof. Adrian Perrig, Dr. Markus Legner, and  Juan A. García-Pardo from the Network Security Group  and Prof. David Hausheer from the  Otto-von-Guericke-Universität Magdeburg hosted a tutorial on the next-generation Internet architecture SCION. Participants learned about revolutionary properties and