@inproceedings{ChevalC-post15,
  title = "Timing Attacks in Security Protocols: Symbolic Framework and Proof Techniques",
  author = "Vincent Cheval and V{\'{e}}ronique Cortier",
  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 = "280--299",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  url = "https://www.cs.ox.ac.uk/people/vincent.cheval/publis/CC-post15.pdf",
  volume = "9036",
  doi = "10.1007/978-3-662-46666-7_15",
}