Cited in
(40)- Value sensitivity and observable abstract values for information flow control
- Multiple facets for dynamic information flow
- CoCon: a conference management system with formally verified document confidentiality
- Arrows for secure information flow
- Product programs in the wild: retrofitting program verifiers to check information flow security
- JRIF: reactive information flow control for Java
- Securing interaction between threads and the scheduler in the presence of synchronization
- SeLINQ: tracking information across application-database boundaries
- Attacker control and impact for confidentiality and integrity
- SafeDpi
- Flow Caml
- ConfiChair
- Paragon
- Information flow analysis for mobile code in dynamic security environments
- dsdtool
- CoSMed
- Ur/Web
- JFlow
- GWT
- Flicker
- Fable
- Laminar
- MJ
- Pixy
- SeLINQ
- RVT
- JRIF
- JSFlow
- FlowFox
- Narcissus
- ZaphodFacetes
- CoCon
- CoSMed: a confidentiality-verified social media platform
- CoSMed: a confidentiality-verified social media platform
- Combining behavioural types with security analysis
- Type-based security for mobile computing integrity, secrecy and liveness
- A survey on server-side approaches to securing web applications
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- Integration of a security type system into a program logic
- Toward general diagnosis of static errors
This page was built for software: Jif
