Kun Peng, Feng Bao. Formal and Precise Analysis of Soundness of Several Shuffling Schemes. In Swee-Huay Heng, Kaoru Kurosawa, editors, Provable Security - 4th International Conference, ProvSec 2010, Malacca, Malaysia, October 13-15, 2010. Proceedings. Volume 6402 of Lecture Notes in Computer Science, pages 133-143, Springer, 2010. [doi]
Abstract is missing.