3 citations · 4 across the 9 of their papers we have counts for
1 paper · 1 filter
Anqi Chen, Dan Goldwasser, Cristina Nita-Rotaru
Mapping textual specifications into formal representations is essential for ensuring the correctness of protocol designs and implementations. LLM-generated mappings, used for netwo…