36 citations · 46 across the 4 of their papers we have counts for
5 papers
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…
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…
Reasoning about identifier spaces: How to make Chord correct
Pamela Zave
The Chord distributed hash table (DHT) is well-known and often used to implement peer-to-peer systems. Chord peers find other peers, and access their data, through a ring-shaped po…
Toward user-centric feature composition for the Internet of Things
Pamela Zave, Eric Cheung, Svetlana Yarosh
Many user studies of home automation, as the most familiar representative of the Internet of Things, have shown the difficulty of developing technology that users understand and li…
How to Make Chord Correct
Pamela Zave
The Chord distributed hash table (DHT) is well-known and frequently used to implement peer-to-peer systems. Chord peers find other peers, and access their data, through a ring-shap…