Flexible manipulation of labeled values for information-flow control libraries

DOI10.1007/978-3-319-45744-4_27MaRDI QIDQ2165484zbMATH OpenOpenAlexFDO

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

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)

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

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)