Formal Verification of Probing Security via Conditional Independence

Satoshi Kura, Katsuyuki Takashima

Side-channel attacks are a major threat to the security of cryptosystems. Masking is a widely used countermeasure against such attacks, but proving the security of masked algorithm…