FlowFox
From MaRDI portal
Software:53516
swMATH37815MaRDI QIDQ53516FDOQ53516
Author name not available (Why is that?)
Cited In (8)
- 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
- Value Sensitivity and Observable Abstract Values for Information Flow Control
- Information Flow Tracking for Side-Effectful Libraries
- 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
