@misc{indiciae1234d4c91eff,
  title = {From Automata Learning to Model Checking: Formal Security Verification of Black-Box Protocols},
  author = {Stefan Marksteiner and Mikael Sjödin and Marjan Sirjani},
  year = {2026},
  url = {https://arxiv.org/abs/2509.22215},
  note = {Source identifier: 2509.22215}
}