Associate Professor of Computer Science
Harvard John A. Paulson School of Engineering and Applied Sciences
|Office:||145 Maxwell Dworkin Hall|
|More contact details...|
My research helps programmers write trustworthy programs. My primary area of interest is language-based information security: using programming language techniques to provide information security assurance. You can find out more about my research in this research statement (from August 2015).
- It's My Privilege: Controlling Downgrading in DC-Labels, STM 2015 .
- Hybrid Monitors for Concurrent Noninterference, CSF 2015 .
- Cryptographic Enforcement of Language-Based Erasure, CSF 2015 .
- Exploring and Enforcing Security Guarantees via Program Dependence Graphs, PLDI 2015 .
- Shill: A Secure Shell Scripting Language, OSDI 2014 .
- Declarative Policies for Capability Control, CSF 2014 .
In Fall 2015 I am teaching CS 252, a graduate seminar on programming languages. This incarnation will focus on (static and dynamic) program analysis.
- CS 61: Systems Programming and Computer Organization Fall 2010, Fall 2011.
- CS 152: Programming Languages Spring 2010, Spring 2013, Spring 2014. Spring 2015.
- CS 252r: Advanced Topics in Programming Languages Fall 2009, Spring 2011, Spring 2012, Fall 2013, Fall 2014, Fall 2015.
- 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.
- Shill: a secure shell scripting language.
- Previous projects
- CHILI: Enabling the execution of code of unknown origin while guaranteeing that the code is not vulnerable to various classes of security attacks.
- Louis Li (undergrad, now at Google)
- Jo Booth (undergrad, now at Google)
- Ling-Ya Chao (undergrad)
- Jeff Vaughan (post doc, now at Google)
- Stefan Muller (undergrad, now grad student at CMU)
- Evan Czaplicki (undergrad, now at Prezi)
- Anna Gommerstadt (undergrad, now grad student at CMU)
- Dan Bradley (undergrad)
- Aslan Askarov (post doc, now at Aarhus University)
- Center for Research on Computation and Society
- Programming Languages at Harvard
- Systems Research at Harvard (SYRAH)
- OOPSLA 2016 Program Committee.
- EuroS&P 2016 Program Committee.
- POPL 2016 Artifact Evaluation Committee co-chair (with Arjun Guha).
- POPL 2016 External Program Committee.
- PLAS 2015 Program Committee.
- Past activities:
- General chair CSF 2012 and CSF 2013.
- Co-chair of APLWACA 2010 (with Ben Livshits).
- Co-chair of PLAS 2009 (with David Naumann).
- Program committees: POST 2015, POPL 2015 (ERC), OOPSLA 2014, TGC 2014, HILT 2014, PSP 2014, CSF 2014, FMS 2014, PLDI 2014 (ERC), ASPLOS 2014 (ERC), SEC@SAC14, HILT 2013, FOOL 2013, CCS 2013, SEC@SAC13, PLAS 2012, PPCloud 2011, FAST 2011, CCS 2010, CSF 2010, FCS-PrivMod 2010, WebApps '10, Bytecode 2010, ASIAN 2009, HotSec '09, FCS09, CSF 2008, PLAS 2007.
Information for prospective students, both undergraduate and graduate, can be found here.
My research is currently supported by the National Science Foundation (under Awards 1054172, 1237235, 1421770), an Alfred P. Sloan Research Fellowship, and a Google Faculty Research Award. I have previously been supported by IARPA and AFOSR.
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.