Felix E. Linker is a PhD student and scientific assistant in the Information Security Group at the Department of Computer Science, ETH Zurich.

He obtained degrees in Computer Science and Philosophy from Leipzig University. Prior to starting his PhD, he worked on formal logics and automated reasoning at Leipzig University, and on hardware verification at Arm Ltd. His research focuses on protocol analysis and design. In particular, he explores the design of authentication protocols and their analysis using computer-assisted proofs of security.