Financial cryptography and data security FC 2013 Workshops, USEC and WAHC 2013, Okinawa, Japan, April 1, 2013 ; revised selected papers (Springer, 2013)