beyond a centralized verifier: scaling data plane checking … on-device verification (sigcomm'23 s3)
Published 11 months ago • 263 plays • Length 9:41Download video MP4
Download video MP3
Similar videos
-
23:06
flash: fast, consistent data plane verification for large-scale network settings (ts 5, sigcomm'22)
-
7:53
hydra: effective runtime network verification (sigcomm'23 s3)
-
9:19
lightyear: using modularity to scale bgp control plane verification (sigcomm'23 s2)
-
10:04
beyond limits: how to disable validators in secure networks (sigcomm'23 s15)
-
1:00:28
sigcomm'23 technical session 2: bgp configuration
-
24:48
wfvml 2022 invited talk: efficient neural network verification using branch and bound (suman jana)
-
10:40
datacenter networking (sigcomm'22 topic preview)
-
3:08
maximize your 6500 network investment with new technology innovations
-
16:56
shale: a practical, scalable, oblivious reconfigurable network (sigcomm'24, paper 586)
-
9:51
netclone: fast, scalable, and dynamic request cloning for microsecond-scale rpcs (sigcomm '23 s4)
-
18:14
meissa: scalable network testing for programmable data planes (ts 5, sigcomm'22)
-
15:05
programmable dataplanes (sigcomm'21 topic preview)
-
58:48
sigcomm'23 technical session 4: well optimized
-
19:41
programmable data planes (sigcomm'22 topic preview)