The University of California, Los Angeles (UCLA) received a $550,000 Project Grant award from the National Science Foundation's (NSF) Computer and Information Science and Engineering (CISE) program (CFDA 47.070) to develop techniques for generating provably reliable network protocol implementations. The project aims to create mathematically-proven, error-free implementations of critical internet protocols like TCP/IP and DNS to improve the reliability of online services and commerce. Key approaches include generating comprehensive protocol tests, decomposing complex protocols into simpler, verifiable components, and leveraging large language models combined with automated reasoning tools. The project will produce concrete artifacts such as new protocol implementations with formal guarantees, as well as publications, tools, data, and coursework shared through an industry-focused network design automation initiative. No sub-awards are planned under this grant, which has a performance period from October 1, 2024 to September 30, 2028.
Generated 1/28/25, 9:15 AM