In general, I am interested in programming language techniques and formal methods that help programmers write safe, correct, and understandable software.
Precise Enforcement of Progress-Sensitive Security, Scott Moore, Aslan Askarov, and Stephen Chong. In Proceedings of the 19th ACM Conference on Computer and Communications Security (CCS), October 2012.
Static analysis for efficient hybrid information-flow control, Scott Moore and Stephen Chong. In Proceedings of the 24th IEEE Computer Security Foundations Symposium (CSF), June 2011.
Declaratively Processing Provenance Metadata, Scott Moore, Ashish Gehani, and Natarajan Shankar. To appear in Proceedings of the 5th USENIX conference on the Theory and Practice of Provenance (TaPP), April 2013.
ActionScript Bytecode Verification With Co-Logic Programming, Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, and Meera Sridhar. In Proceedings of the ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS), 9-15, June 2009.
I am currently a teaching fellow for CS 152, Harvard's undergraduate course on the formal foundations of programming languages.
In fall term 2011, I was the head teaching fellow for CS 61, Harvard's introductory systems course.