Patrick Schaller
Senior Scientist

Patrick Schaller

I am a Senior Scientist in Srdjan Capkun’s System Security Group at ETH Zurich.

Besides research in various information security related fields of computer science, I represent ETH Zurich to governmental agencies and industrial partners in information/cyber security related projects and initiatives. Together with Dr. Imad Aad at EPFL Lausanne I am responsible for the establishment of the Swiss Support Center for Cyber Security (SSCC), that has been launched by EPFL and ETHZ to support the Swiss National Cyber Strategy (NCS 2018 -22). In addition, I am involved as a lecturer in the continuing education programs in cyber security offered by the computer science department here a ETH Zurich.

Short Bio

After having studied Mathematics at ETH Zurich, I have worked in information security related positions in industry at the time when the Internet was emerging in the early 2000s.

Visiting what is today called the CAS in Computer Science at ETH Zurich, I have met the back then newly established Information Security Group of David Basin, where I did my PhD on the topic of formal modelling and verification of security protocols. After completion of my PhD I stayed for another year in David Basin’s group as a research assistant before I headed back to industry, where I worked in various information security related positions (software development, security architecture, prototyping, security research).

In my last position, before joining ETH as a Senior Scientist in May 2020, I have worked as a scientific project manager in the Cyber Defence Campus at armasuisse Science & Technology. Over the last years, I have worked on a part-time basis as the coordinator and as a lecturer of the continuing education programs in cyber security at the computer science department of ETH Zurich.

Publications

David Basin, Srdjan Čapkun, Patrick Schaller, and Benedikt Schmidt
ACM Transactions on Information and System Security
David Basin, Srdjan Čapkun, Patrick Schaller, and Benedikt Schmidt
Theorem proving in higher order logics
Patrick Schaller, Benedikt Schmidt, David Basin, and Srdjan Čapkun
2009 22nd IEEE Computer Security Foundations Symposium
Panos Papadimitratos, Marcin Poturalski, Patrick Schaller, Pascal Lafourcade, David Basin, Srdjan Čapkun, and Jean-Pierre Hubaux
IEEE Communications Magazine
Applied cryptography and network security : 5th international conference : proceedings

Supervised Theses

Integration of UWB Secure Ranging with EMV Payments (MA)
Student: Daniele Coppola
Supervisors: Claudio Anliker, Xenia Hofmeier, Patrick Schaller, and Giovanni Camurati
Binary Similarity Techniques for Malware Detection (MA)
Student: Adalsteinn Jonsson
Supervisors: Daniele Lain, Patrick Schaller, and Martin Strohmeier (CYD)
Symbolic Modelling of libc Functions and Application to Concolic Execution (SA)
Student: Marco Di Nardo
Supervisors: Damian Pfammatter (CYD) and Patrick Schaller
Analysis of Android App Network Traffic using Java/Smali Hybrid-Patching. Bachelor Thesis (MA)
Student: Lukas Baege
Supervisors: Daniele Lain and Patrick Schaller