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