156 citations · 158 across the 2 of their papers we have counts for
3 papers · 1 filter
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…
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…