Existential types for relaxed noninterference

DOI10.1007/978-3-030-34175-6_5MaRDI QIDQ6536309zbMATH OpenFDO

Authors Raimil Cruz, Éric Tanter

Publication date 19 April 2024

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• A type system for robust declassification
• Linear Declassification
• Information flow inference for free
• Programming Languages and Systems
• Downgrading policies and relaxed noninterference

Cites work

• Downgrading policies and relaxed noninterference
• Modules, abstraction, and parametric polymorphism
• Noninterference for free
• Programming Languages and Systems
• Types and programing languages

This page was built for publication: Existential types for relaxed noninterference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536309)