A Universally Composable Framework for the Privacy of Email Ecosystems
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 156910869
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-030-03332-3_8
- Title of conference / published proceedings
- Advances in Cryptology – ASIACRYPT 2018 : 24th International Conference on the Theory and Application of Cryptology and Information Security, Brisbane, QLD, Australia, December 2–6, 2018, Proceedings, Part III
- First page
- 191
- Volume
- 11274
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Compliant
- Month of publication
- October
- Year of publication
- 2018
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
3
- Research group(s)
-
C - Foundations of Computation
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Email is one of the most prominent scenarios of internet communications. Nonetheless, prior to this work there was no cryptographic formal treatment of privacy of email ecosystems. This work introduces a formal framework in the universal composability model, a state-of-the-art approach for capturing security of protocol runs executed under arbitrary compositions. In this framework, privacy is parameterised to capture various folklore notions of privacy. Besides formal modelling, two constructions of email ecosystems are proposed: one rather theoretical that achieves an optimal level of privacy, and one more practical that achieves a weaker yet still acceptable level of anonymity.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -