FlowFox
From MaRDI portal
Software:53516
No author found.
Related Items (8)
Information Flow Tracking for Side-Effectful Libraries ⋮ Value Sensitivity and Observable Abstract Values for Information Flow Control ⋮ CoSMed: a confidentiality-verified social media platform ⋮ Survey on JavaScript security policies and their enforcement mechanisms in a web browser ⋮ Timing-Sensitive Noninterference through Composition ⋮ A Principled Approach to Tracking Information Flow in the Presence of Libraries ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ CoSMed: A Confidentiality-Verified Social Media Platform
This page was built for software: FlowFox
