Reconciling Progress-Intensive Noninterference and Declassification

POPL 2020