Murdoch, SJ; Anderson, R; (2014) Security Protocols and Evidence: Where Many Payment Systems Fail. In: Christin, N and SafaviNaini, R, (eds.) Proceedings of the International Conference on Financial Cryptography and Data Security FC 2014. (pp. pp. 21-32). Springer: Berlin, Heidelberg.