Jif
From MaRDI portal
Software:28347
No author found.
Related Items (18)
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 ⋮ Value Sensitivity and Observable Abstract Values for Information Flow Control ⋮ CoSMed: a confidentiality-verified social media platform ⋮ Multiple facets for dynamic information flow ⋮ Attacker Control and Impact for Confidentiality and Integrity ⋮ Combining behavioural types with security analysis ⋮ Integration of a security type system into a program logic ⋮ Compiling Information-Flow Security to Minimal Trusted Computing Bases ⋮ SeLINQ ⋮ Toward general diagnosis of static errors ⋮ Arrows for secure information flow ⋮ A survey on server-side approaches to securing web applications ⋮ CoCon: a conference management system with formally verified document confidentiality ⋮ JRIF: reactive information flow control for Java ⋮ CoSMed: A Confidentiality-Verified Social Media Platform ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness ⋮ Unnamed Item
This page was built for software: Jif
