Formal Verification of Probing Security via Conditional Independence. - Satoshi Kura; Katsuyuki Takashima (CoRR, 2026)