Nagata Hisashi

On Efficient Framework for Data-plane Verification with Geometric Windowing Queries

Inoue Takeru, Akashi Osamu, Mano Toru, 2016 .

Efficient Network Policy Checking with Multi-dimensional Graph Traversal Algorithm

Inoue Takeru, Richard Chen, Akashi Osamu, 2015 .