@article{digest paper,
  title = "On the construction of digest functions for manual authentication protocols",
  author = "Long Hoang Nguyen and Andrew William Roscoe",
  year = "2011",
  address = "Oxford University Computing Laboratory",
  journal = "Under preparation",
}