2 papers
cs.NI2020
The Remaining Improbable: Toward Verifiable Network Services
Pamela Zave, Jennifer Rexford, John Sonchack
The trustworthiness of modern networked services is too important to leave to chance. We need to design these services with specific properties in mind, and verify that the propert…
cs.NI2019
Patterns and Interactions in Network Security
Pamela Zave, Jennifer Rexford
Networks play a central role in cyber-security: networks deliver security attacks, suffer from them, defend against them, and sometimes even cause them. This article is a concise t…