CONIX Publication

Web applications prevent leakage through security policies. Unfortunately, when an application is updated, leakage can be accidentally introduced by a policy or schema migration. We present a system for automatically verifying the safety of these updates