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
Two demo CoSMeDis nodes are deployed
here. Both have sample users with username "demo" and password "demo";
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,