The following pages link to Jif (Q28347):
Displaying 18 items.
- Product programs in the wild: retrofitting program verifiers to check information flow security (Q832225) (← links)
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Integration of a security type system into a program logic (Q935469) (← links)
- Arrows for secure information flow (Q964489) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- JRIF: reactive information flow control for Java (Q2303365) (← links)
- SeLINQ (Q2819661) (← links)
- CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248) (← links)
- Multiple facets for dynamic information flow (Q2942868) (← links)
- Compiling Information-Flow Security to Minimal Trusted Computing Bases (Q3000581) (← links)
- Attacker Control and Impact for Confidentiality and Integrity (Q3224683) (← links)
- Value Sensitivity and Observable Abstract Values for Information Flow Control (Q3460041) (← links)
- (Q5170843) (← links)
- A survey on server-side approaches to securing web applications (Q5176185) (← links)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness (Q5262979) (← links)
- Toward general diagnosis of static errors (Q5408450) (← links)
