I am Felix E. Linker, a PhD student in the Information Security group at ETH Zurich where I am part of the Centre for Cyber Trust1.
Research Interests
I research protocol analysis and design using formal methods and 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. I dream of a world in which formal methods are automated and accessible.
Find more details about my research on my projects site or in my dissertation’s research plan here.
Professional Experience
When | Where | What |
---|---|---|
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-2018 | cookionista, Nuremberg | Programmer |
2016 | AKSW, Leipzig University | Student Assistant Programmer |
Education
When | Where | What |
---|---|---|
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 |
Publications
- Basin D., Linker F., Sasse R. (2024) Report title: A Formal Analysis of the iMessage PQ3 Messaging Protocol. Apple Security Research Blog. (Blog post|pdf)
- Linker F., Basin D. (2024) SOAP: A Social Authentication Protocol. To appear in 33rd USENIX Security Symposium, USENIX Security 2024, Philadelphia, PA, USA, August 14-16, 2024. USENIX Association. (pdf|USENIX)
- Linker F., Basin D. (2023) ADEM: An Authentic Digital EMblem. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security (CCS ‘23). Association for Computing Machinery, New York, NY, USA, 2815–2829. (pdf|doi)
- Baumann R., Linker F. (2019) AGM Meets Abstract Argumentation: Contraction for Dung Frameworks. In: Calimeri F., Leone N., Manna M. (eds) Logics in Artificial Intelligence. JELIA 2019. Lecture Notes in Computer Science, vol 11468. Springer, Cham. (pdf|doi)