Glitch-Resistant Masking Revisited: or Why Proofs in the Robust Probing Model are Needed. TCHES. 2019;2019(2):256-292. doi:10.13154/tches.v2019.i2.256-292