2 papers
cs.PL2019
Existential Types for Relaxed Noninterference
Raimil Cruz, Éric Tanter
Information-flow security type systems ensure confidentiality by enforcing noninterference: a program cannot leak private data to public channels. However, in practice, programs ne…
cs.PL2019
Polymorphic Relaxed Noninterference
Raimil Cruz, Éric Tanter
Information-flow security typing statically preserves confidentiality by enforcing noninterference. To address the practical need of selective and flexible declassification of conf…