Peng Wang Dengguo Feng Wenling Wu Liting Zhang On the Correctness of an Approach against Side-Channel Attacks. 336-344 2009 ISPEC http://dx.doi.org/10.1007/978-3-642-00843-6_29 conf/ispec/2009 db/conf/ispec/ispec2009.html#WangFWZ09