Cited in
(30)- CoCon: a conference management system with formally verified document confidentiality
- Wysteria
- A theory of RPC calculi for client-server model
- Eliom: A Core ML Language for Tierless Web Programming
- PLIF
- BER MetaOCaml
- ConfiChair
- Paragon
- TS#
- Jif
- CoSMed
- Eliom
- Ocsigen
- Hop.js
- Hop
- js_of_ocaml
- Opa
- JOANA
- JSLINQ
- SeLINQ
- Links
- JRIF
- Lwt
- FlowFox
- CoCon
- 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
- Formal methods for web security
- Capability-based localization of distributed and heterogeneous queries
This page was built for software: Ur/Web
