@inproceedings{unilaterally_authenticating_protocols,
  title = "Analysing Applications Layered on Unilaterally Authenticating Protocols",
  author = "Thomas Gibson-Robinson and Gavin Lowe",
  year = "2011",
  booktitle = "Proceedings of Formal Aspects of Security and Trust (FAST 2011)",
}