Session Logical Relations for Noninterference.

Farzaneh Derakhshan, Stephanie Balzer, Limin Jia

Browse the full LICS paper archive.