CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees

Bauereiß, T., Gritti, A.P., Popescu, A. orcid.org/0000-0001-8747-0619 et al. (1 more author) (2017) CoSMeDis : a distributed social media platform with formally verified confidentiality guarantees. In: 2017 IEEE Symposium on Security and Privacy (SP). 38th IEEE Symposium on Security and Privacy (SP), 22-26 May 2017, San Jose, CA, USA. IEEE , pp. 729-748. ISBN 9781509055340

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2017 The Author(s). Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. Reproduced in accordance with the publisher's self-archiving policy.
Dates:
  • Published (online): 26 June 2017
  • Published: 26 June 2017
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 27 May 2020 11:56
Last Modified: 28 May 2020 16:42
Status: Published
Publisher: IEEE
Refereed: Yes
Identification Number: https://doi.org/10.1109/sp.2017.24

Share / Export

Statistics