Verified Indifferentiable Hashing into Elliptic Curves

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, Federico Olmedo, Santiago Zanella Béguelin. Verified Indifferentiable Hashing into Elliptic Curves. In Pierpaolo Degano, Joshua D. Guttman, editors, Principles of Security and Trust - First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings. Volume 7215 of Lecture Notes in Computer Science, pages 209-228, Springer, 2012. [doi]

Abstract

Abstract is missing.