@misc{indiciae3e3606304a9a,
  title = {LpiCT: A logic security analysis framework for protocols},
  author = {Fusheng Wu and Jinhui Liu and Yanbing Li and Mingtao Ni},
  year = {2023},
  url = {https://arxiv.org/abs/2312.02171},
  note = {Source identifier: 2312.02171}
}