TY  - RPRT
TI  - Reconciling progress-insensitive noninterference and declassification
AU  - Johan Bay
AU  - Aslan Askarov
PY  - 2020
UR  - https://arxiv.org/abs/2005.01977
ID  - 2005.01977
ER  -