Welcome to the CoSMeDis homepage (UNDER DEVELOPMENT).

CoSMeDis is a prototype distributed 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 and this papers. The formal verification scripts and the source code are available here.

Two demo CoSMeDis nodes are deployed here and here. Both have sample users with username "demo" and password "demo"; their admin users have username "admin'' and password "si7oeZ6b".

CoSMeDis 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.