15 citations · 26 across the 9 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
eess.SY2022
Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification
Qiao Xiang, Ridi Wen, Chenyang Huang +2
Data plane verification (DPV) is important for finding network errors. Current DPV tools employ a centralized architecture, where a server collects the data planes of all devices a…
cs.CR2022
IVeri: Privacy-Preserving Interdomain Verification
Ning Luo, Qiao Xiang, Timos Antonopoulos +3
In an interdomain network, autonomous systems (ASes) often establish peering agreements, so that one AS (agreement consumer) can influence the routing policies of the other AS (agr…