Denver 2015

In October 2015 I got to attend the ACM Conference on Computer and Communications Security! Our cryptographic analysis of TLS 1.3 draft-05 handshake protocols was being presenting by my co-author, and I got to spend a couple days in Denver exploring. Here is a travelogue of two of my expeditions!