Proving the correct execution of concurrent services in zero-knowledge.

Srinath T. V. Setty, Sebastian Angel, Trinabh Gupta, Jonathan Lee

Browse the full OSDI paper archive.