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,
We are very happy to welcome Shweta Shinde in the Department of Computer Science at ETH Zurich in October 2020 as Tenure Track Assistant Professor of Computer Science. Get to know her in this short interview. Professor Shinde, welcome to ETH Zurich! What are your current research interests? I work broadly in computer security and
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
A recently published survey by ZISC members revealed the questionable state of a substantial part of the Swiss paper-voting system. When Swiss citizens vote on constitutional or legislative issues, usually on a Sunday, their paper-ballots are counted, carefully summarised on paper reports, and then sent to the cantonal chancellery by post. Finally, they are submitted
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
A PIN code is usually required at the checkout when paying large sums by credit card. A group of researchers under Prof. David Basin have now discovered a flaw in the security system of some credit cards. Credit cards that enable contactless payments are extremely popular. Small amounts can be charged quickly and easily at
Under Prof. Adrian Perrig‘s and Prof. David Basin‘s supervision, a group of researchers published a new paper on a fascinating topic: Internet Backbones in Space. Satellite constellation networks are one of the most recent and exciting developments in networking. Renewed interest in this area has been sparked by an unprecedented wave of investments to develop
Prof. David Basin, who is part of ZISC faculty, and Prof. Joachim Buhmann, as well as former doctoral student Mario Frank, have received the Symposium on Access Control Models and Technologies (SACMAT) Test of Time Award. The three are awarded for their paper “On the Definition of Role Mining”, published at SACMAT in 2010, which
Trading in digital currencies such as Bitcoin or Ether has become an established practice, but using them as a payment is still a slow process. ZISC Director and ETH Professor Srdjan Capkun and his team have now developed a system that makes cryptocurrency payments secure, fast and practical. Concentrating on Ether, the team developed a
The committee of the 41st IEEE Symposium on Security and Privacy has honoured Prof. Adrian Perrig with four Test-of-Time awards for papers published in the 12-year period between 1995 and 2006 of which he was an author. Nine papers, which have withstood the test of time, were awarded at the 41st IEEE Symposium on Security and Privacy,