@misc{indiciaed8adbf14fd2b,
  title = {Verification of \$K\$- and Infinite-Step Strong/Weak Anonymity Using Concurrent Compositions},
  author = {Jiahui Zhang and Kuize Zhang and Xiaoguang Han and Zhiwu Li},
  year = {2026},
  url = {https://arxiv.org/abs/2609.01192},
  note = {Source identifier: 2609.01192}
}