Budapest 2016

So I was in Budapest for the 2016 COST CryptoAction Symposium! I was lucky enough to see of my co-authors present our security analysis of the TLS 1.3 Handshake Protocol, and had a bit of time to converse with other provable security experts. Unfortunately I didn’t have a lot of time to truly explore Hungary, which is a little disappointing because the buildings were beautiful. However, here’s a few photos I took during my journey.