My research aims to help programmers write trustworthy programs. My primary area of interest is language-based information security: using programming language techniques to provide information security assurance.
- Asynchronous Functional Reactive Programming for GUIs, PLDI 2013 .
- Towards Fully Automatic Placement of Security Sanitizers and Declassifiers, POPL 2013 .
- Required Information Release, Journal of Computer Security 20(6), 2012.
- Towards a Practical Secure Concurrent Language, OOPSLA 2012 .
- Precise Enforcement of Progress-Sensitive Security, CCS 2012 .
- Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies, CSF 2012 .
In Fall 2013 I am teaching CS 252r, a graduate seminar on programming languages. This year, the course will focus on the science of cybersecurity. More details coming over summer... In Spring 2014 I will teach CS 152, an undergraduate course that considers the formal foundations of programming languages.
- CS 61: Systems Programming and Computer Organization Fall 2010, Fall 2011.
- CS 152: Programming Languages Spring 2010, Spring 2013.
- CS 252r: Advanced Topics in Programming Languages Fall 2009, Spring 2011, Spring 2012.
- CHILI: Enabling the execution of code of unknown origin while guaranteeing that the code is not vulnerable to various classes of security attacks.
- Accrue: Providing language-based security guarantees proportional to programmer effort.
- Privacy Tools for Sharing Research Data: Enhance technologies and policies to protect personal data used in research studies.
- Jeff Vaughan (post doc, now at LogicBlox)
- Stefan Muller (undergrad, now grad student at CMU)
- Evan Czaplicki (undergrad, now at Google)
- Center for Research on Computation and Society
- Programming Languages at Harvard
- Systems Research at Harvard (SYRAH)
- CSF 2013 General chair.
- SEC@SAC14 Program Committee.
- FOOL 2013 Program Committee.
- CCS 2013 Program Committee.
- HILT 2013 Program Committee.
- Past activities:
I am looking for talented and motivated students to work with, both undergraduate and graduate. More information can be found here.
I completed a Ph.D. at Cornell University in August 2008, under the guidance of Andrew Myers. Prior to graduate school, I spent several years working as a consultant and contractor. I received a B.Sc.(Hons) and B.A. from Victoria University of Wellington, in Wellington, New Zealand. My wife, Kiran Gajwani, is a Lecturer/Advisor in the Economics Department at Harvard.