Book
Open access
Aug 2026
Chameleon: Toward Runtime-Pluggable Verification of Programmable Networks
Experimental results show that Chameleon can augment P4 programs with small one-time preprocessing and compilation overheads, and supports millisecond-level runtime configuration operations for verification requirements.
Ying Yao, Le Tian, Yu-Xiang Hu
· Conference on Applications,... · 0 citations