A simulation-based proof technique for dynamic information flow.

Stephen McCamant, Michael D. Ernst

Browse the full PLDI paper archive.