I am a graduate student at UC San Diego in the Sysnet research group. I work with Deian Stefan on using language-based techniques to build secure systems.
Publications
FaCT: A DSL for timing-sensitive computation
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Gregoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan In Proceedings of Conference on Programming Language Design and Implementation (PLDI), June 2019
Foundations for parallel information flow control runtime systems
Marco Vassena, Gary Soeller, Peter Amidon, Matthew Chan, John Renner, and Deian Stefan In Proceedings of Conference on Principles of Security and Trust (POST), April 2019
Multi-core IFC: Securing the space-time continuum
Gary Soeller and Deian Stefan Foundations of Computer Security 2017
FaCT: a flexible constant-time programming language
Fraser Brown, Sunjay Cauligi, Yunlu Huang, Brian Johannesmeyer, Gary Soeller, Ranjit Jhala, and Deian Stefan IEEE SecDev 2017
MapWatch: Detecting and Monitoring International Border Personalization on Online Maps
Gary Soeller, Karrie Karahalios, Christian Sandvig, and Christo Wilson Proceedings of the 25th International World Wide Web Conference (WWW 2016) Montreal, Quebec, Canada, April 2016
Measuring Price Discrimination and Steering on E-commerce Web Sites
Aniko Hannak, Gary Soeller, David Lazer, Alan Mislove, and Christo Wilson Proceedings of Internet Measurement Conference (IMC 2014) Vancouver, BC, Canada, November 2014