Kun Peng, Matt Henricksen. Multiplicative Homomorphic E-Auction with Formally Provable Security. In Lorenzo Cavallaro, Dieter Gollmann, editors, Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems, 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings. Volume 7886 of Lecture Notes in Computer Science, pages 1-17, Springer, 2013. [doi]
Abstract is missing.