Scott Moore

Maxwell-Dworkin 309
sdmoore@fas.harvard.edu

Research

I am a PhD student in the Programming Languages group at Harvard University. Currently, I am working with Stephen Chong on practical techniques for enforcing expressive information flow security policies.

In general, I am interested in programming langauge techniques and formal methods that help programmers write safe, correct, and understandable software.

Publications

Conference papers

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.

Workshop papers

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.

Teaching

In fall term 2011, I was the head TF for CS 61, Harvard's introductory systems course.

Software

Some software projects that I have contributed to:

Polygot extensible compiler framework
Accrue object analysis framework
My GitHub account