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