Silver Statistical Independence And Leakage Verification Iacr