@misc{indiciaef26c98395bb8,
  title = {Formal Verification of Probing Security via Conditional Independence},
  author = {Satoshi Kura and Katsuyuki Takashima},
  year = {2026},
  url = {https://arxiv.org/abs/2605.23316},
  note = {Source identifier: 2605.23316}
}