Stephen Chong - Tenure Materials

The following are selected documents from my tenure packet (submitted August 2015).

• Research statement
• Curriculum vitae
• Selected publications
  • Shill: A Secure Shell Scripting Language, OSDI 2014 (with Scott Moore, Christos Dimoulas, and Dan King).
  • Exploring and Enforcing Security Guarantees via Program Dependence Graphs, PLDI 2015 (with Andrew Johnson, Lucas Waye, and Scott Moore).
  • Towards a Practical Secure Concurrent Language, OOPSLA 2012 (with Stefan Muller).
  • Required Information Release, Journal of Computer Security, 2012.
  • Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies, CSF 2012 (with Aslan Askarov).