Jacques Stern. The Validation of Cryptographic Algorithms. In Kwangjo Kim, Tsutomu Matsumoto, editors, Advances in Cryptology - ASIACRYPT 96, International Conference on the Theory and Applications of Cryptology and Information Security, Kyongju, Korea, November 3-7, 1996, Proceedings. Volume 1163 of Lecture Notes in Computer Science, pages 301-310, Springer, 1996.
Abstract is missing.