TY - JOUR T1 - CoSMed: a confidentiality-verified social media platform JO - Journal of Automated Reasoning PY - 2017/12/02 AU - Bauereiß T AU - Pesenti Gritti A AU - Popescu A AU - Raimondi F ED - DO - DOI: 10.1007/s10817-017-9443-3 PB - Springer Science and Business Media LLC VL - 61 IS - 1-4 SP - 113 EP - 139 Y2 - 2024/12/23 ER -