Information Flow Tracking for Side-Effectful Libraries

DOI10.1007/978-3-319-92612-4_8MaRDI QIDQ5881538zbMATH OpenOpenAlexFDO

Authors Alexander Sjösten, Daniel Hedin, Andrei Sabelfeld

Publication date 10 March 2023

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Security through safety. An approach to information flow control based on derivation of safety properties from a characterisation of insecure behaviour
• Flexible manipulation of labeled values for information-flow control libraries
• Functional pearl: two can keep a secret, if one of them uses Haskell

Cites work

• A lattice model of secure information flow
• A Principled Approach to Tracking Information Flow in the Presence of Libraries

Cited in

(7)

• Flexible manipulation of labeled values for information-flow control libraries
• Functional pearl: two can keep a secret, if one of them uses Haskell
• HLIO: mixing static and dynamic typing for information-flow control in Haskell
• Tracking Information Flow in Dynamic Tree Structures
• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Flexible dynamic information flow control in the presence of exceptions
• Hybrid information flow control for low-level code

Describes a project that uses

Uses Software

• Coq
• FlowFox
• JSFlow

This page was built for publication: Information Flow Tracking for Side-Effectful Libraries

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