Stephen Chong

Research Interests

My research aims to help programmers write trustworthy programs. My primary area of interest is language-based security: using programming language techniques to provide information security assurance.

Recent publications

• Provenance: A Future History, OOPSLA Onward! 2009.
• Deriving Epistemic Conclusions from Agent Architecture, TARK 2009.
• Towards Semantics for Provenance Security, TaPP 2009.
• End-to-End Enforcement of Erasure and Declassification, CSF 2008.
• Civitas: Toward a Secure Voting System, Oakland 2008.
• More...

Information for prospective students

I am looking for talented and motivated students to work with, both undergraduate and graduate. More information can be found here.

Teaching

In Fall 2009 I am teaching CS252r: Advanced Topics in Programming Languages. In this seminar course, we will examine programming language techniques for building secure, reliable, and efficient systems. See the course website for more details.

Affiliations

• Center for Research on Computation and Society
• Non-resident tutor of Adams House
• Programming Languages at Harvard

Current activities

• Co-chair (with Ben Livshits) of APLWACA 2010.
• Program committee Bytecode 2010.
• Program committee WebApps '10.
• Program committee CSF 2010.
• Program committee FCS-PrivMod 2010.
• Program committee CCS 2010.

Past activities

• Co-chair (with David Naumann) of PLAS 2009.
• Program committees: ASIAN 2009, HotSec '09, FCS09, CSF 2008, PLAS 2007.

Brief bio

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.