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 .
- Exploring and Enforcing Security Guarantees via Program Dependence Graphs, PLDI 2015 .
- Towards a Practical Secure Concurrent Language, OOPSLA 2012 .
- Required Information Release, Journal of Computer Security, 2012.
- Learning is Change in Knowledge: Knowledge-based Security for Dynamic Policies, CSF 2012 .