Julien Mercier, Christian Dufaza, Mathieu Lisart. Methodology for Dynamic Power Verification of Contactless Smartcards. In Johan Vounckx, Nadine Azémard, Philippe Maurine, editors, Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation, 16th International Workshop, PATMOS 2006, Montpellier, France, September 13-15, 2006, Proceedings. Volume 4148 of Lecture Notes in Computer Science, pages 280-291, Springer, 2006. [doi]