@inproceedings{bay_askarov_2020,
  author = {Bay, Johan and Askarov, Aslan},
  title = {Reconciling progress-insensitive noninterference and declassification},
  booktitle = {2020 IEEE 33rd Computer Security Foundations Symposium (CSF)},
  year = {2020},
  pages = {95--106},
  publisher = {IEEE},
  doi = {10.1109/CSF49147.2020.00015},
  url = {https://doi.org/10.1109/CSF49147.2020.00015}
}