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 spent the summer and fall of 2021 as an academic guest of ETH Zürich’s Applied Cryptography group, working with Felix Günther on key exchange security and using the indifferentiability framework in unexpected places. I was an undergraduate student at the University of Minnesota, Twin Cities, where I worked with Nick Hopper on post-quantum key exchange, and with Julie Rana on the symmetry groups of Latin squares and gerechte designs.