Nate Foster - Formal Methods and Computer Networks - A Match Made in Heaven?
Curry On! · 41:47
The talk argues that we can't fully trust networks, but we can shrink how much we have to trust by verifying the data plane. The data plane is the simple, loop-free packet-processing layer, and the speaker shows how t...