Constructive side-channel analysis and secure design : 4th International Workshop, COSADE 2013, Paris, France, March 6-8, 2013, Revised Selected Papers (2013)