5 citations · 5 across the 3 of their papers we have counts for
3 papers
cs.LO2015
Dependency-Based Information Flow Analysis with Declassification in a Program Logic
Bart van Delft, Richard Bubel
We present a deductive approach for the analysis of secure information flows with support for fine-grained policies that include declassifications in the form of delimited informat…
cs.CR2015
The Anatomy and Facets of Dynamic Policies
Niklas Broberg, Bart van Delft, David Sands
Information flow policies are often dynamic; the security concerns of a program will typically change during execution to reflect security-relevant events. A key challenge is how t…
cs.CR2015★ 5 cited
Very Static Enforcement of Dynamic Policies
Bart van Delft, Sebastian Hunt, David Sands
Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including…