Verifiable state machines: Proofs that untrusted services operate correctly

Srinath T. V. Setty, Sebastian Angel, Jonathan Lee. Verifiable state machines: Proofs that untrusted services operate correctly. IACR Cryptology ePrint Archive, 2020:758, 2020. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.