Zero-knowledge protocols for model checking that certify linear temporal logic properties of hidden systems using ranking functions, polynomial commitments, and sigma protocols.
Title resolution pending
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
verdicts
UNVERDICTED 3representative citing papers
NetNomos is a multi-stage framework that extracts, filters, and enforces first-order logic rules in generative ML models for networking tasks including telemetry imputation, traffic forecasting, and synthetic trace generation.
A TCP-over-QUIC tunnel built with Quinn shows higher throughput than native TCP under packet loss and instability but adds modest overhead under ideal conditions.
citing papers explorer
-
Zero-Knowledge Model Checking
Zero-knowledge protocols for model checking that certify linear temporal logic properties of hidden systems using ranking functions, polynomial commitments, and sigma protocols.
-
Making Logic a First-Class Citizen in Generative ML for Networking
NetNomos is a multi-stage framework that extracts, filters, and enforces first-order logic rules in generative ML models for networking tasks including telemetry imputation, traffic forecasting, and synthetic trace generation.
-
Implementation and Performance Evaluation of TCP over QUIC Tunnels
A TCP-over-QUIC tunnel built with Quinn shows higher throughput than native TCP under packet loss and instability but adds modest overhead under ideal conditions.