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. doi:10.1038/s41598-025-93373-y