swMATH17454MaRDI QIDQ29313FDOQ29313
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=2677004
Cited In (29)
- CoCon: a conference management system with formally verified document confidentiality
- A theory of RPC calculi for client-server model
- Wysteria
- Eliom: A Core ML Language for Tierless Web Programming
- CoSMed: a confidentiality-verified social media platform
- CoSMed: a confidentiality-verified social media platform
- BER MetaOCaml
- ConfiChair
- Paragon
- TS#
- Jif
- CoSMed
- Eliom
- Ocsigen
- Hop.js
- Hop
- js_of_ocaml
- Opa
- JOANA
- JSLINQ
- SeLINQ
- Links
- JRIF
- Lwt
- FlowFox
- CoCon
- 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
