Friends Need a Bit More: Maintaining Invariants Over Shared State.

Michael Barnett, David A. Naumann

Browse the full MPC paper archive.