Hello! I’m Hannah Davis, a fourth-year PhD student in cryptography at UCSD. I’m interested in developing formal models of modern computer security practices, developing cryptographic protocols that are both provably secure and usable in the real world, and breaking things with math. My advisor is Mihir Bellare. I’ve also worked with Felix Günther at ETH Zürich. I was an undergraduate student at the University of Minnesota, Twin Cities, where I worked with Nick Hopper on the vulnerability of post-quantum key exchange protocols to key reuse, and with Julie Rana on the symmetry groups of gerechte designs.