In general, I am interested in programming language techniques and formal methods that help programmers write safe, correct, and understandable software.
Cryptographic Enforcement of Language-Based Erasure, Aslan Askarov, Scott Moore, Christos Dimoulas, and Stephen Chong. To appear in Proceedings of the 28th IEEE Computer Security Foundations Symposium (CSF), July 2015.
Exploring and Enforcing Security Guarantees via Program Dependence Graphs, Andrew Johnson, Lucas Waye, Scott Moore, and Stephen Chong. To appear in Proceedings of the 36th ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), June 2015.
Shill: A Secure Shell Scripting Language, Scott Moore, Christos Dimoulas, Dan King, and Stephen Chong. In Proceedings of the 11th Usenix Symposium on Operating Systems Design and Implementation (OSDI), October 2014. [Video]
Declarative Policies for Capability Control, Christos Dimoulas, Scott Moore, Aslan Askarov, and Stephen Chong. In Proceedings of the 27th IEEE Computer Security Foundations Symposium (CSF), July 2014.
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. 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.
Secure Scripting with Capabilities and Contracts, Northeastern University Programming Languages Seminar, October 2014.
Safe Shell Scripting with Capabilities and Contracts, University of Cambridge Computer Laboratory Security Seminar, July 2014.
Shill: A Secure Shell Scripting Language, 44th USENIX Vail Computer Elements Workshop (VCEW), June 2014.
In fall term 2014 and spring term 2015, I was 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.