@misc{cryptoeprint:2019:924, author = {Dirk Achenbach and Roland Gröll and Timon Hackenjos and Alexander Koch and Bernhard Löwe and Jeremias Mechler and Jörn Müller-Quade and Jochen Rill}, title = {Your Money or Your Life---Modeling and Analyzing the Security of Electronic Payment in the UC Framework}, howpublished = {Cryptology ePrint Archive, Report 2019/924}, year = {2019}, url = {https://eprint.iacr.org/2019/924}, }