David Nowak. On Formal Verification of Arithmetic-Based Cryptographic Primitives. In Pil Joong Lee, Jung Hee Cheon, editors, Information Security and Cryptology - ICISC 2008, 11th International Conference, Seoul, Korea, December 3-5, 2008, Revised Selected Papers. Volume 5461 of Lecture Notes in Computer Science, pages 368-382, Springer, 2008. [doi]
Abstract is missing.