A Principled Approach to Tracking Information Flow in the Presence of Libraries

DOI10.1007/978-3-662-54455-6_3zbMath1444.68051OpenAlexW2602111867MaRDI QIDQ3304806

Andrei Sabelfeld, Frank Piessens, Alexander Sjösten, Daniel Hedin

Publication date: 3 August 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://lirias.kuleuven.be/handle/123456789/578854

zbMATH Keywords

policy languagecore languagelabel semanticlibrary functionlibrary model

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Information Flow Tracking for Side-Effectful Libraries ⋮ Gaining trust by tracing security protocols

Uses Software

• Node.js
• WebKit
• JSFlow
• node-ffi
• FlowFox

Cites Work

• Multiple facets for dynamic information flow
• Contracts for higher-order functions
• Value Sensitivity and Observable Abstract Values for Information Flow Control
• Contracts made manifest
• Correct blame for contracts

This page was built for publication: A Principled Approach to Tracking Information Flow in the Presence of Libraries