The following pages link to FlowFox (Q53516):
Displaying 8 items.
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- Survey on JavaScript security policies and their enforcement mechanisms in a web browser (Q2436507) (← links)
- CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248) (← links)
- Timing-Sensitive Noninterference through Composition (Q3304803) (← links)
- A Principled Approach to Tracking Information Flow in the Presence of Libraries (Q3304806) (← links)
- Value Sensitivity and Observable Abstract Values for Information Flow Control (Q3460041) (← links)
- Information Flow Tracking for Side-Effectful Libraries (Q5881538) (← links)
