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
- A theory of RPC calculi for client-server model
- Eliom: A Core ML Language for Tierless Web Programming
- CoSMed: a confidentiality-verified social media platform
- CoSMed: a confidentiality-verified social media platform
- Information flow control in software DB units based on formal verification
- Capability-based localization of distributed and heterogeneous queries
- Formal methods for web security
This page was built for software: Ur/Web
