Li, Q., Han, J., Yuan, L., Li, X., Wang, X. (2025). Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. Scientific Reports. https://doi.org/10.1038/s41598-025-93373-y