Jerry den Hartog Erik P. de Vink Virtual Analysis and Reduction of Side-Channel Vulnerabilities of Smartcards. 85-98 2004 conf/ifip1-7/2004 Formal Aspects in Security and Trust http://dx.doi.org/10.1007/0-387-24098-5_7 db/conf/ifip1-7/fast2004.html#HartogV04