Finding Invariants of Distributed Systems: It's a Small (Enough) World After All.

Travis Hance, Marijn Heule, Ruben Martins, Bryan Parno

Browse the full NSDI paper archive.