swMATH37815MaRDI QIDQ53516FDOQ53516
Author name not available (Why is that?)
Official website: https://dl.acm.org/doi/abs/10.1145/2382196.2382275
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
- CoSMed: a confidentiality-verified social media platform
- CoSMed: a confidentiality-verified social media platform
- ConfiChair
- Paragon
- Jif
- CoSMed
- Ur/Web
- Jalangi
- ExpoSE
- JRIF
- JSFlow
- node-ffi
- Narcissus
- ADsafety
- AdJail
- ConScript
- GATEKEEPER
- Gulfstream
- Mashic
- SessionShield
- Zaphod
- CoCon
- Timing-Sensitive Noninterference through Composition
This page was built for software: FlowFox
