TY  - RPRT
TI  - Session Logical Relations for Noninterference
AU  - Farzaneh Derakhshan
AU  - Stephanie Balzer
AU  - Limin Jia
PY  - 2021
UR  - https://arxiv.org/abs/2104.14094
ID  - 2104.14094
ER  -