TY  - RPRT
TI  - Dependency-Based Information Flow Analysis with Declassification in a Program Logic
AU  - Bart van Delft
AU  - Richard Bubel
PY  - 2015
UR  - https://arxiv.org/abs/1509.04153
ID  - 1509.04153
ER  -