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]
No references recorded for this publication.
No citations of this publication recorded.