Scott Moore

Citado por

	Total	Desde 2020
Citas	377	142
Índice h	10	8
Índice i10	10	6

20102011201220132014201520162017201820192020202120222023202420253 4 9 14 13 29 42 40 38 31 18 23 23 23 50 5

Acceso público

Ver todo

2 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Stephen ChongHarvard UniversityDirección de correo verificada de seas.harvard.edu
Christos DimoulasPLT @ Northwestern UniversityDirección de correo verificada de northwestern.edu
Aslan AskarovAssociate Professor at Aarhus UniversityDirección de correo verificada de cs.au.dk
Lucas WayeMetaDirección de correo verificada de fb.com
Daniel KingThe Broad Institute of MIT and HarvardDirección de correo verificada de broadinstitute.org
Robert Bruce FindlerNorthwestern UniversityDirección de correo verificada de cs.northwestern.edu
Matthew FlattProfessor, School of Computing, University of UtahDirección de correo verificada de cs.utah.edu
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasDirección de correo verificada de utdallas.edu
Kevin W. HamlenLouis A. Beecherl, Jr. Distinguished Professor of Computer Science, The University of Texas atDirección de correo verificada de utdallas.edu
Meera SridharAssistant Professor, Software and Information Systems, University of North Carolina at CharlotteDirección de correo verificada de uncc.edu
Jennifer PaykinIntelDirección de correo verificada de intel.com
Ashish GehaniSRIDirección de correo verificada de sri.com
Ezra ZigmondHarvard UniversityDirección de correo verificada de college.harvard.edu

Seguir

Scott Moore

Galois, Inc.

Dirección de correo verificada de galois.com - Página principal

Programming Languages Computer Security


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Exploring and enforcing security guarantees via program dependence graphs A Johnson, L Waye, S Moore, S Chong ACM SIGPLAN Notices 50 (6), 291-302, 2015	86	2015
Static analysis for efficient hybrid information-flow control S Moore, S Chong 2011 IEEE 24th Computer Security Foundations Symposium, 146-160, 2011	77	2011
Declarative policies for capability control C Dimoulas, S Moore, A Askarov, S Chong 2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014	43	2014
Precise enforcement of progress-sensitive security S Moore, A Askarov, S Chong Proceedings of the 2012 ACM conference on Computer and communications …, 2012	38	2012
{SHILL}: A Secure Shell Scripting Language S Moore, C Dimoulas, D King, S Chong 11th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2014	37	2014
Extensible access control with authorization contracts S Moore, C Dimoulas, RB Findler, M Flatt, S Chong ACM SIGPLAN Notices 51 (10), 214-233, 2016	22	2016
ActionScript bytecode verification with co-logic programming BW DeVries, G Gupta, KW Hamlen, S Moore, M Sridhar Proceedings of the ACM SIGPLAN Fourth Workshop on Programming Languages and …, 2009	17	2009
The 2010 Census Confidentiality Protections Failed, Here's How and Why JM Abowd, T Adams, R Ashmead, D Darais, S Dey, SL Garfinkel, ... National Bureau of Economic Research, 2023	14	2023
Bring Your Own Data Structures to Datalog A Sahebolamri, L Barrett, S Moore, K Micinski Proceedings of the ACM on Programming Languages, 1198–1223, 2023	14	2023
Cryptographic enforcement of language-based information erasure A Askarov, S Moore, C Dimoulas, S Chong 2015 IEEE 28th Computer Security Foundations Symposium, 334-348, 2015	12	2015
Weird machines as insecure compilation J Paykin, E Mertens, M Tullsen, L Maurer, B Razet, A Bakst, S Moore arXiv preprint arXiv:1911.00157, 2019	7	2019
Declaratively processing provenance metadata S Moore, A Gehani 5th USENIX Workshop on the Theory and Practice of Provenance (TaPP 13), 2013	4	2013
Fine-grained, language-based access control for database-backed applications E Zigmond, S Chong, C Dimoulas, S Moore arXiv preprint arXiv:1909.12279, 2019	2	2019
Software Contracts for Security SD Moore	2	2016
Knowledge and effect: A logic for reasoning about confidentiality and integrity guarantees S Moore, A Askarov, S Chong Workshop on Foundations of Computer Security (FCS 2015), 242, 2015	2	2015
PhatRaid, yo A Johnson, D King, L Waye, S Moore		2014
Exploring and Enforcing Application Security Guarantees via Program Dependence Graphs A Johnson, LR Waye, S Moore, SN Chong		2014
Static Analysis for Efficient S Moore, S Chong Version 10.1109/CSF. 2011.17, 2011		2011
List of External Reviewers CSF 2021 (all submission cycles) C Abate, AA de Amorim, T Antonopoulos, C Badertscher, G Battiston, ...
Regret: Moving Towards a Descriptive Game Theory S Moore

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores