2 papers
cs.PL2021
Session Logical Relations for Noninterference
Farzaneh Derakhshan, Stephanie Balzer, Limin Jia
Information flow control type systems statically restrict the propagation of sensitive data to ensure end-to-end confidentiality. The property to be shown is noninterference, asser…
cs.LO2020
Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs
Farzaneh Derakhshan, Frank Pfenning
We introduce an infinitary first order linear logic with least and greatest fixed points. To ensure cut elimination, we impose a validity condition on infinite derivations. Our cal…