Regrading Policies for Flexible Information Flow Control in Session-Typed Concurrency

Farzaneh Derakhshan, Stephanie Balzer, Yue Yao

Noninterference guarantees that an attacker cannot infer secrets by interacting with a program. Information flow control (IFC) type systems assert noninterference by tracking the l…