Attacking smart card systems: Theory and practice
Towards sound approaches to counteract power-analysis attacks