1 paper
Dawei Huang, Hui Li, Bo Jia +4
Formal verification provides rigorous guarantees for cryptographic security, yet extracting formalizable security goals from natural-language protocol documents remains largely man…