88 citations · 234 across the 33 of their papers we have counts for
1 paper · 1 filter
Aurojit Panda
Ensuring the correctness of distributed system implementations remains a challenging and largely unaddressed problem. In this paper we present a protocol that can be used to certif…