@inproceedings{DDJL13,
  author        = {J. Dreier and Dumas, J.-G. and H. L. Jonker and P. Lafourcade},
  title         = {Verifiability in e-Auction protocols \& Brandt's protocol revisited},
  booktitle     = {1st Workshop on Hot Issues in Security Principles and Trust (HOTSPOT'13)},
  year          = {2013},
  ee            = {http://www.cs.bham.ac.uk/~mdr/research/projects/HotSpot-2013/papers/paper%205.pdf}
}