Scott Moore

14 papers A* 3A 4Journal 5Unranked 2
YearRankTypeTitle / Venue / Authors
2023 J jnl
Bring Your Own Data Structures to Datalog.
Proc. ACM Program. Lang.
Arash Sahebolamri, Langston Barrett, Scott Moore, Kristopher K. Micinski
2023 J jnl
The 2010 Census Confidentiality Protections Failed, Here's How and Why.
CoRR
John M. Abowd, Tamara Adams, Robert Ashmead, David Darais, Sourya Dey, Simson L. Garfinkel, Nathan Goldschlag, Daniel Kifer, Philip Leclerc, Ethan Lew, Scott Moore, Rolando A. Rodríguez, Ramy N. Tadros, Lars Vilhuber
2020 J jnl
Fine-Grained, Language-Based Access Control for Database-Backed Applications.
Art Sci. Eng. Program.
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
2019 J jnl
Fine-Grained, Language-Based Access Control for Database-Backed Applications.
CoRR
Ezra Zigmond, Stephen Chong, Christos Dimoulas, Scott Moore
2019 J jnl
Weird Machines as Insecure Compilation.
CoRR
Jennifer Paykin, Eric Mertens, Mark Tullsen, Luke Maurer, Benoît Razet, Alexander Bakst, Scott Moore
2016 A conf
Extensible access control with authorization contracts.
OOPSLA
Scott Moore, Christos Dimoulas, Robert Bruce Findler, Matthew Flatt, Stephen Chong
2015 A conf
Cryptographic Enforcement of Language-Based Information Erasure.
CSF
Aslan Askarov, Scott Moore, Christos Dimoulas, Stephen Chong
2015 A* conf
Exploring and enforcing security guarantees via program dependence graphs.
PLDI
Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong
2014 A conf
Declarative Policies for Capability Control.
CSF
Christos Dimoulas, Scott Moore, Aslan Askarov, Stephen Chong
2014 A* conf
SHILL: A Secure Shell Scripting Language.
OSDI
Scott Moore, Christos Dimoulas, Dan King, Stephen Chong
2013 — conf
Declaratively Processing Provenance Metadata.
TaPP
Scott Moore, Ashish Gehani
2012 A* conf
Precise enforcement of progress-sensitive security.
CCS
Scott Moore, Aslan Askarov, Stephen Chong
2011 A conf
Static Analysis for Efficient Hybrid Information-Flow Control.
CSF
Scott Moore, Stephen Chong
2009 — conf
ActionScript bytecode verification with co-logic programming.
PLAS
Brian W. DeVries, Gopal Gupta, Kevin W. Hamlen, Scott Moore, Meera Sridhar