CoSMed: a confidentiality-verified social media platform
DOI10.1007/978-3-319-43144-4_6zbMATH Open1451.68167OpenAlexW3016501173MaRDI QIDQ2829248FDOQ2829248
Authors: Thomas Bauereiß, Armando Pesenti Gritti, Andrei Popescu
Publication date: 27 October 2016
Published in: Interactive Theorem Proving (Search for Journal in Brave)
Full work available at URL: https://eprints.mdx.ac.uk/22094/1/CoSMedITP2016.pdf
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
Cited In (1)
Uses Software
This page was built for publication: CoSMed: a confidentiality-verified social media platform
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2829248)