Travelled to:2 × USA
Collaborated with:S.Chong C.Dimoulas A.Johnson L.Waye D.King R.B.Findler M.Flatt
Talks about:secur (2) guarante (1) contract (1) program (1) languag (1) control (1) script (1) extens (1) explor (1) enforc (1)
Person: Scott Moore
DBLP: Moore:Scott
Contributed to:
2015
2014
2016Wrote 3 papers:
- PLDI-2015-JohnsonWMC #dependence #graph #security
- Exploring and enforcing security guarantees via program dependence graphs (AJ, LW, SM, SC), pp. 291–302.
- OSDI-2014-MooreDKC #named #scripting language
- SHILL: A Secure Shell Scripting Language (SM, CD, DK, SC), pp. 183–199.
- OOPSLA-2016-MooreDFFC #contract #data access
- Extensible access control with authorization contracts (SM, CD, RBF, MF, SC), pp. 214–233.