3 citations · 4 across the 9 of their papers we have counts for
3 papers · 1 filter
RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines
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…
Quantum-Resistant Networks: A Review of Primitives, Protocols and Best Practices
Elisa Bertino, Ramana Kompella, Ashish Kundu +3
Large-scale quantum computers threaten the public-key cryptographic foundations underpinning today's network security infrastructures. While significant progress has been made in s…
Automated Channel Fault Analysis with Tofu
Jacob Ginesin, Max von Hippel, Cristina Nita-Rotaru
Distributed protocols are the linchpin of the modern internet, underpinning every internet service. This has in turn motivated a massive body of research ensuring the security, rel…