Making Routing Protocols More Secure
Ensuring network security is vital to safeguarding network systems and preventing cyberattacks. We study diverse network protocols (including OSPF, ISIS, BABEL, BGP, etc.) through formal analysis and intelligent approaches.
Our Works
SPAR
LLM-driven generation of verified format specifications for network protocols via adversarial refinement.
USENIX Security 2026 New
SEAL
A theoretical abstract interpretation framework for building symbolic automata from stateful systems.
CAV 2026 New
ToDiff
Building equivalent topological configurations for differential testing, supporting OSPF, IS-IS, RIP, BABEL, etc.
ACM CCS 2025 New
ParCleanse
LLM-driven generation of protocol format specifications from RFC documents via divide and conquer.
ACM ISSTA 2025
ParDiff
Differential testing based on format specification lifted from multiple implementations of the same protocol.
ACM OOPSLA 2024 Distinguished Paper
NetLifter
Lifting protocol format specification from a top-down (or recursive-descent) protocol packet parser.
ACM CCS 2023
StateLifter
Lifting protocol format specification from a state-machine parser, which is common in embedded systems for low lentency.
USENIX Security 2023