CoSMed

swMATH17453MaRDI QIDQ29312FDOQ29312

Author name not available (Why is that?)

Cited In (3)

• CoCon: a conference management system with formally verified document confidentiality
• CoSMed: a confidentiality-verified social media platform
• CoSMed: A Confidentiality-Verified Social Media Platform

This page was built for software: CoSMed