Reconciling progress-insensitive noninterference and declassification. - Johan Bay; Aslan Askarov (CSF, 2020)

Mechanized logical relations for termination-insensitive noninterference. - Simon Oddershede Gregersen; Johan Bay; Amin Timany; Lars Birkedal (Proc. ACM Program. Lang., 2021)