CONIX Publication

Policy Migration Poster

Authors: John Renner, Deian Stefan


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

Release Date: 10/16/2019
Uploaded File: View