Flexible dynamic information flow control in the presence of exceptions

DOI10.1017/S0956796816000241zbMath1418.68043arXiv1207.1457OpenAlexW2100233145MaRDI QIDQ5371997

Deian Stefan, John C. Mitchell, David Folkman Mazières, Alejandro Russo

Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1207.1457

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Uses Software

• Haskell
• Aglet
• Laminar

Cites Work

• Unnamed Item
• Unnamed Item
• Laminar
• Arrows for secure information flow
• Generalising monads to arrows
• Understanding functional dependencies via constraint handling rules
• Parameterised notions of computation
• A lattice model of secure information flow
• Certification of programs for secure information flow
• A monadic analysis of information flow security with mutable state
• Addressing covert termination and timing channels in concurrent information flow systems
• Security-typed programming within dependently typed programming
• Transforming out timing leaks
• Information flow inference for ML

This page was built for publication: Flexible dynamic information flow control in the presence of exceptions