Scott Moore

Orcid: 0009-0009-0719-1130

Affiliations:

Galois Inc, Portland, OR, USA
Harvard University, SEAS, Cambridge, MA, USA (former, PhD 2016)
SRI International, Computer Science Laboratory, Menlo Park, CA, USA (former)
University of Texas at Dallas, TX, USA (former)

According to our database¹, Scott Moore authored at least 13 papers between 2009 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2023

Bring Your Own Data Structures to Datalog.

[BibT_eX]

[DOI]

Arash Sahebolamri

Langston Barrett

Scott Moore

Kristopher K. Micinski

Proc. ACM Program. Lang., October, 2023

The 2010 Census Confidentiality Protections Failed, Here's How and Why.

[BibT_eX]

[DOI]

CoRR, 2023

2020

Fine-Grained, Language-Based Access Control for Database-Backed Applications.

[BibT_eX]

[DOI]

Art Sci. Eng. Program., 2020

2019

Weird Machines as Insecure Compilation.

[BibT_eX]

[DOI]

CoRR, 2019

2016

Extensible access control with authorization contracts.

[BibT_eX]

[DOI]

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

2015

Exploring and enforcing security guarantees via program dependence graphs.

[BibT_eX]

[DOI]

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Cryptographic Enforcement of Language-Based Information Erasure.

[BibT_eX]

[DOI]

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

SHILL: A Secure Shell Scripting Language.

[BibT_eX]

[DOI]

Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Declarative Policies for Capability Control.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th Computer Security Foundations Symposium, 2014

2013

Declaratively Processing Provenance Metadata.

[BibT_eX]

[DOI]

Scott Moore

Ashish Gehani

Proceedings of the 5th Workshop on the Theory and Practice of Provenance, 2013

2012

Precise enforcement of progress-sensitive security.

[BibT_eX]

[DOI]

Scott Moore

Aslan Askarov

Stephen Chong

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Static Analysis for Efficient Hybrid Information-Flow Control.

[BibT_eX]

[DOI]

Scott Moore

Stephen Chong

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

2009

ActionScript bytecode verification with co-logic programming.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on Programming Languages and Analysis for Security, 2009

Scott Moore

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...