7 citations · 22 across the 5 of their papers we have counts for
1 paper · 1 filter
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…