In this talk I will try to give a flavour of my line of research by surveying some of my works. It will touch upon topics such as IPsec, EMV, SSH, security models, and Tor.
An overarching theme of my research is to bring cryptographic theory and practice closer to each other. I will give examples of how cryptographic practice fails because it is not informed by theory. On the other hand, we will also see how cryptographic schemes with security proofs can still succumb to practical attacks because our security models do not reflect practical settings accurately enough. I will discuss how my research tries to amend these issues and conclude with an overview of future research directions.