Jif
From MaRDI portal
Software:28347
swMATH16478MaRDI QIDQ28347FDOQ28347
Author name not available (Why is that?)
Cited In (18)
- Multiple facets for dynamic information flow
- CoCon: a conference management system with formally verified document confidentiality
- Arrows for secure information flow
- JRIF: reactive information flow control for Java
- Product programs in the wild: retrofitting program verifiers to check information flow security
- Title not available (Why is that?)
- SeLINQ: tracking information across application-database boundaries
- Securing interaction between threads and the scheduler in the presence of synchronization
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
- Value Sensitivity and Observable Abstract Values for Information Flow Control
- CoSMed: a confidentiality-verified social media platform
- Combining behavioural types with security analysis
- A survey on server-side approaches to securing web applications
- Attacker Control and Impact for Confidentiality and Integrity
- Compiling Information-Flow Security to Minimal Trusted Computing Bases
- CoSMed: A Confidentiality-Verified Social Media Platform
- Toward general diagnosis of static errors
- Integration of a security type system into a program logic
This page was built for software: Jif
