1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.DC2020
A Formally Verified Protocol for Log Replication with Byzantine Fault Tolerance
Joel Wanner, Laurent Chuat, Adrian Perrig
Byzantine fault tolerant protocols enable state replication in the presence of crashed, malfunctioning, or actively malicious processes. Designing such protocols without the assist…
cs.NI2016★ 1 cited
Modeling Data-Plane Power Consumption of Future Internet Architectures
Chen Chen, David Barrera, Adrian Perrig
With current efforts to design Future Internet Architectures (FIAs), the evaluation and comparison of different proposals is an interesting research challenge. Previously, metrics…
cs.NI2016
Source Accountability with Domain-brokered Privacy
Taeho Lee, Christos Pappas, David Barrera +2
In an ideal network, every packet would be attributable to its sender, while host identities and transmitted content would remain private. Designing such a network is challenging b…