An efficient framework for data-plane verification with geometric windowing queries.

Takeru Inoue, Richard Chen, Toru Mano, Kimihiro Mizutani, Hisashi Nagata, Osamu Akashi

Browse the full ICNP paper archive.