@misc{indiciae347d3d6f68c3,
  title = {Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols},
  author = {Nisansala P. Yatapanage and Cliff B. Jones},
  year = {2024},
  url = {https://arxiv.org/abs/2311.15189},
  note = {Source identifier: 2311.15189}
}