Sylvain Guilley Philippe Hoogvorst The Proof by 2M-1: a Low-Cost Method to Check Arithmetic Computations. 589-600 2005 conf/sec/2005 SEC db/conf/sec/sec2005.html#GuilleyH05