Flexible manipulation of labeled values for information-flow control libraries

DOI10.1007/978-3-319-45744-4_27zbMATH Open1499.68060OpenAlexW2519805394MaRDI QIDQ2165484FDOQ2165484

Authors: Marco Vassena, Pablo Buiras, Lucas Waye, Alejandro Russo 

Publication date: 19 August 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-45744-4_27

Recommendations

• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Flexible dynamic information flow control in the presence of exceptions
• Information Flow Tracking for Side-Effectful Libraries
• Arrows for secure information flow
• A Principled Approach to Tracking Information Flow in the Presence of Libraries

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65) Computer security (68M25)

Cited In (4)

• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Information Flow Tracking for Side-Effectful Libraries
• Functional pearl: two can keep a secret, if one of them uses Haskell
• Flexible dynamic information flow control in the presence of exceptions

This page was built for publication: Flexible manipulation of labeled values for information-flow control libraries

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