CoSMed

Welcome to the CoSMed homepage (UNDER DEVELOPMENT).

CoSMed is a prototype social media platform whose kernel has been formally verified for confidentiality. The verification was performed using the Isabelle interactive theorem prover.

Details on the verification and implementation can be found in this paper. The formal verification scripts and the source code are available here.

A demo version of the system is deployed here. Anonymous access is possible with username `"demo" and password "demo".

CoSMed is being developed at the Middlesex University London and the German Research Center for Artificial Intelligence (DFKI) Bremen, as joint work with an industry partner, Global NoticeBoard.