Cited in
(12)- Value sensitivity and observable abstract values for information flow control
- A Principled Approach to Tracking Information Flow in the Presence of Libraries
- Information Flow Tracking for Side-Effectful Libraries
- Flow Caml
- Paragon
- Jif
- Jalangi
- ExpoSE
- Sails
- node-ffi
- FlowFox
- Combining behavioural types with security analysis
This page was built for software: JSFlow
