Reynald Affeldt, Miki Tanaka, Nicolas Marti. Formal Proof of Provable Security by Game-Playing in a Proof Assistant. In Willy Susilo, Joseph K. Liu, Yi Mu, editors, Provable Security, First International Conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007, Proceedings. Volume 4784 of Lecture Notes in Computer Science, pages 151-168, Springer, 2007. [doi]
Abstract is missing.