Reconciling progress-insensitive noninterference and declassification

Johan Bay, Aslan Askarov

Practitioners of secure information flow often face a design challenge: what is the right semantic treatment of leaks via termination? On the one hand, the potential harm of untrus…