2 papers
cs.PL2024
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…
cs.PL2022
Recursive Session Logical Relations
Farzaneh Derakhshan, Stephanie Balzer
Program equivalence is the fulcrum for reasoning about and proving properties of programs. For noninterference, for example, program equivalence up to the secrecy level of an obser…