Jif
From MaRDI portal
Software:28347
swMATH16478MaRDI QIDQ28347FDOQ28347
Author name not available (Why is that?)
Cited In (18)
- 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
- JRIF: reactive information flow control for Java
- Product programs in the wild: retrofitting program verifiers to check information flow security
- SeLINQ: tracking information across application-database boundaries
- Securing interaction between threads and the scheduler in the presence of synchronization
- Attacker control and impact for confidentiality and integrity
- Information flow analysis for mobile code in dynamic security environments
- 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
- Toward general diagnosis of static errors
- Integration of a security type system into a program logic
This page was built for software: Jif
