Information Flow Tracking for Side-Effectful Libraries

DOI10.1007/978-3-319-92612-4_8OpenAlexW2807041801MaRDI QIDQ5881538

Andrei Sabelfeld, Daniel Hedin, Alexander Sjösten

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)

Uses Software

• Coq
• JSFlow
• FlowFox

Cites Work

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

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