JSFlow

swMATH32998MaRDI QIDQ44709FDOQ44709

Author name not available (Why is that?)

Cited In (4)

• A Principled Approach to Tracking Information Flow in the Presence of Libraries
• Value Sensitivity and Observable Abstract Values for Information Flow Control
• Information Flow Tracking for Side-Effectful Libraries
• Combining behavioural types with security analysis

This page was built for software: JSFlow