Qiang Li, Jihong Han, Lin Yuan, Xiangcheng Li, Xiaoyu Wang. "Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM." Scientific Reports (2025). https://doi.org/10.1038/s41598-025-93373-y