Speaker

Felix Linker is a security researcher at ETH Zurich. He collaborates with the International Committee of the Red Cross on the Digital Emblem project, and is the lead designer of ADEM, a design for a Digital Emblem. Felix specializes in the design and formal verification of protocols and systems with security guarantees in general. He obtained his Doctorate in the Information Security Group at ETH Zurich, where he researched protocol design and verification. In particular, he is one of the leading experts for the Tamarin prover, a state-of-the-art tool that can formally reason about protocol security. Felix is also active in the Internet Engineering Task Force where he works on the standardization and formal analysis of protocols.