TY - CONF T1 - CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees JO - 2017 IEEE Symposium on Security and Privacy (SP) UR - http://eprints.whiterose.ac.uk/161213/ PY - 2017/06/26 AU - Bauereiß T AU - Gritti AP AU - Popescu A AU - Raimondi F ED - DO - DOI: 10.1109/sp.2017.24 PB - IEEE SN - 9781509055340 SP - 729 EP - 748 Y2 - 2024/12/23 ER -