Constructive Side-Channel Analysis and Secure Design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers - Emmanuel Prouff ((Lecture Notes in Computer Science))