@inproceedings{ArapinisCD-post15,
  title = "Composing Security Protocols: From Confidentiality to Privacy",
  author = "Myrto Arapinis and Vincent Cheval and St{\'{e}}phanie Delaune",
  year = "2015",
  booktitle = "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",
  editor = "Riccardo Focardi and Andrew C. Myers",
  pages = "324--343",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/ACD-post15.pdf",
  volume = "9036",
  doi = "10.1007/978-3-662-46666-7_17",
}