The following pages link to Ur/Web (Q29313):
Displaying 8 items.
- Formal methods for web security (Q511944) (← links)
- CoSMed: a confidentiality-verified social media platform (Q1663221) (← links)
- CoCon: a conference management system with formally verified document confidentiality (Q2031419) (← links)
- Information flow control in software DB units based on formal verification (Q2172738) (← links)
- CoSMed: A Confidentiality-Verified Social Media Platform (Q2829248) (← links)
- Eliom: A Core ML Language for Tierless Web Programming (Q3179305) (← links)
- Capability-based localization of distributed and heterogeneous queries (Q4577810) (← links)
- A theory of RPC calculi for client–server model (Q4972065) (← links)