Ur/Web
From MaRDI portal
Software:29313
swMATH17454MaRDI QIDQ29313FDOQ29313
Author name not available (Why is that?)
Cited In (8)
- CoCon: a conference management system with formally verified document confidentiality
- Eliom: A Core ML Language for Tierless Web Programming
- CoSMed: a confidentiality-verified social media platform
- A theory of RPC calculi for client–server model
- Information flow control in software DB units based on formal verification
- CoSMed: A Confidentiality-Verified Social Media Platform
- Capability-based localization of distributed and heterogeneous queries
- Formal methods for web security
This page was built for software: Ur/Web
