Capability-based security§

2014 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.
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.

Information-flow security§

2015 Cryptographic Enforcement of Language-based Erasure. Aslan Askarov, Scott Moore, Christos Dimoulas, and Stephen Chong. 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. In Proceedings of the 36th ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI), June 2015.
2012 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.
2011 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.

Software Contracts for Access Control§

2016 Software Contracts for Security. Scott Moore. PhD Disseration, Harvard University, May 2016.
Extensible Access Control with Authorization Contracts. Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, and Stephen Chong. In Proceedings of the Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), November 2016.

Logic programming§

2013 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.
2009 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), June 2009.