Bart van Delft

Very Static Enforcement of Dynamic Policies

2015 · arXiv (Cornell University)

Security policies are naturally dynamic. Reflecting this, there has been a growing interest in studying information-flow properties which change during program execution, including concepts such as declassification, revocation, and role-change. A static verification of a …