You Cannot Hide behind the Mask: Power Analysis on a Provably Secure S-Box Implementation