FlowFox
From MaRDI portal
Cited in
(28)- Value sensitivity and observable abstract values for information flow control
- CoCon: a conference management system with formally verified document confidentiality
- A Principled Approach to Tracking Information Flow in the Presence of Libraries
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser
- Information Flow Tracking for Side-Effectful Libraries
- ConfiChair
- Paragon
- Jif
- CoSMed
- Ur/Web
- Jalangi
- ExpoSE
- JRIF
- JSFlow
- node-ffi
- Narcissus
- ADsafety
- AdJail
- ConScript
- GATEKEEPER
- Gulfstream
- Mashic
- SessionShield
- Zaphod
- CoCon
- CoSMed: a confidentiality-verified social media platform
- CoSMed: a confidentiality-verified social media platform
- Timing-Sensitive Noninterference through Composition
This page was built for software: FlowFox
