LLM-Aided Automatic Modeling for Security Protocol Verification.

Ziyu Mao, Jingyi Wang, Jun Sun, Shengchao Qin, Jiawen Xiong

Browse the full ICSE paper archive.