156 citations · 263 across the 5 of their papers we have counts for
6 papers
Access Control as Verified Parse Constraints
Saranachon Iammongkol, Zhiyi Huang, David Eyers
Commercial security gateways repeatedly ship implementation bugs in the code path between the network and the policy decision: hand-written enforcement logic that diverges from the…
Viewpoint | Personal Data and the Internet of Things: It is time to care about digital provenance
Thomas Pasquier, David Eyers, Jean Bacon
The Internet of Things promises a connected environment reacting to and addressing our every need, but based on the assumption that all of our movements and words can be recorded a…
Runtime Analysis of Whole-System Provenance
Thomas Pasquier, Xueyuan Han, Thomas Moyer +5
Identifying the root cause and impact of a system intrusion remains a foundational challenge in computer security. Digital provenance provides a detailed history of the flow of inf…
Practical Whole-System Provenance Capture
Thomas Pasquier, Xueyuan Han, Mark Goldstein +4
Data provenance describes how data came to be in its present form. It includes data sources and the transformations that have been applied to them. Data provenance has many uses, f…
CamFlow: Managed Data-sharing for Cloud Services
Thomas F. J. -M. Pasquier, Jatinder Singh, David Eyers +1
A model of cloud services is emerging whereby a few trusted providers manage the underlying hardware and communications whereas many companies build on this infrastructure to offer…
Data compression on the sphere
J. D. McEwen, Y. Wiaux, D. M. Eyers
Large data-sets defined on the sphere arise in many fields. In particular, recent and forthcoming observations of the anisotropies of the cosmic microwave background (CMB) made on…