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