APA (7th ed.) Citation

Li, Q., Han, J., Yuan, L., Li, X., & Wang, X. Constructing formal models of cryptographic protocols from Alice&Bob style specifications via LLM. Nature Portfolio.

Chicago Style (17th ed.) Citation

Li, Qiang, Jihong Han, Lin Yuan, Xiangcheng Li, and Xiaoyu Wang. Constructing Formal Models of Cryptographic Protocols from Alice&Bob Style Specifications via LLM. Nature Portfolio.

MLA (9th ed.) Citation

Li, Qiang, et al. Constructing Formal Models of Cryptographic Protocols from Alice&Bob Style Specifications via LLM. Nature Portfolio.