@misc{indiciaeeff5d37642af,
  title = {Type-based information flow analysis for \$π\$-calculus with a dynamically extensible security lattice},
  author = {Yukihiro Oda and Eijiro Sumii},
  year = {2026},
  url = {https://arxiv.org/abs/2606.27059},
  note = {Source identifier: 2606.27059}
}