I am Felix E. Linker, a PhD student in the Information Security group at ETH Zurich.
I focus on protocol analysis and design using formal methods. As part of the Centre for Cyber Trust, I strive to bring stronger security guarantees to people in their everyday life. To assure that those are guarantees, I back my claims by formal methods and improve the tools whenever I hit a limit.
Recently, I have been working on a digital emblem for humanitarian services in collaboration with the International Committee of the Red Cross (ICRC). I worked on authentically marking such services so that they do not become accidental targets in times of war. As part of this work, I came across the problem of verifying recursively defined models in the protocol verification tool tamarin, which I am working to improve right now.
|2020-||Information Security Group, ETH Zurich||Scientific Assistant|
|2019-2020||Chair for Intelligent Systems, Leipzig University||Research Assistant/Scientific Staff|
|2018||Security Research Arm Ltd, Cambridge, UK||Intern|
|2016||AKSW, Leipzig University||Student Assistant Programmer|
|2020-||ETH Zurich||PhD Student|
|2017-2020||Leipzig University||M.Sc. Computer Science|
|2014-2019||Leipzig University||B.A. Philosophy|
|2014-2017||Leipzig University||B.Sc. Computer Science|
|2001-2014||Altes Gymnasium Flensburg||A Level|