@misc{indiciae2551f988fdcc,
  title = {A Security Verification Framework of Cryptographic Protocols Using Machine Learning},
  author = {Kentaro Ohno and Misato Nakabayashi},
  year = {2023},
  url = {https://arxiv.org/abs/2304.13249},
  note = {Source identifier: 2304.13249}
}