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/26

ER  -