Ying Yao

Chameleon: Toward Runtime-Pluggable Verification of Programmable Networks

Runtime verification is critical for detecting whether programmable networks behave as intended during operation. However, many existing runtime verification mechanisms instantiate executable verification logic around requirements specified before deployment, making it difficult to change checks at runtime. This paper...