Hannah (Anna) Gommerstadt

Research Interests

I am broadly interested in the intersection of programming languages and information security, including program analysis, verification, language based security and applications of formal logic to modelling secure systems. I am also interested in cryptography, especially the verification of cryptographic protocols, and automated theorem proving.

Current Projects

Senior Thesis:  Motivated by the high incidence of cryptographic vulnerabilities on the Android platform, I wrote my computer science and math senior thesis on securing Android public-key cryptographic protocols. I formalized a security condition for public-key cryptography, designed a type system to enforce it and proved that the type system was sound. Then, using this type system and the Objanal framework, I enforced guarantees about information flow in the presence of cryptography in Java programs. I was jointly advised by Steve Chong and Aslan Askarov. Thesis: [PDF]

Past Projects

CS252r Final Project: Android Application Security:  As the smart phone craze spreads through the modern world, it is becoming crucial to reason about the flow of sensitive data on the mobile platform. In this paper, Devon Long and I use prior work on the Android security model work as a starting point as we synthesize a detailed model of the information flow within the Android platform and present two detailed case studies. We were advised by Steve Chong. Paper: [PDF]
Crash CRASH-SAFE:  This DARPA-funded project is focused on a clean slate design for resiliant and secure systems. A joint project between researchers at BAE, Penn, Northeastern, and Harvard, this project aims to design new hardware, new languages, and new systems oriented towards security. I spent time writing applications in the Breeze research language to investigate its usability. I was advised by Greg Morrisett.
Climate Change via Flickr Photos:  I visualized and analyzed data on weather patterns aggregated from Flickr photos to investigate alternate methods of tracking climate change. Specifically, I analyzed images with the "snow" tag to see if snow was appearing in various locations around the world earlier than the past. I was advised by Krzysztof Gajos.