Sylvain Guilley, Philippe Hoogvorst. The Proof by 2M-1: a Low-Cost Method to Check Arithmetic Computations. In Ryoichi Sasaki, Sihan Qing, Eiji Okamoto, Hiroshi Yoshiura, editors, Security and Privacy in the Age of Ubiquitous Computing, IFIP TC11 20th International Conference on Information Security (SEC 2005), May 30 - June 1, 2005, Chiba, Japan. pages 589-600, Springer, 2005.
Abstract is missing.