Composing Security Protocols: From Confidentiality to Privacy
- Submitting institution
-
University of Edinburgh
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 60134600
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-662-46666-7_17
- Title of conference / published proceedings
- Principles of Security and Trust : 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
- First page
- 324
- Volume
- 9036
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- April
- Year of publication
- 2015
- 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
-
2
- Research group(s)
-
C - Foundations of Computation
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Formal verification tools for analysing security and privacy have not kept pace with the growing complexity of digital systems. This work enables leveraging existing state-of-the art protocol analysers, for the analysis of complex real-world systems, through the development of the theory of secure composition. It is the first work to tackle secure composition of privacy-type properties. This contribution led to the EPSRC grant EP/P002692/1 being awarded to Arapinis for continuing her work on secure composition of cryptographic protocols. This work was accepted and presented at POST'15, one of the ETAPS conferences.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -