Login / Signup
Verifiable state machines: Proofs that untrusted services operate correctly.
Srinath T. V. Setty
Sebastian Angel
Jonathan Lee
Published in:
IACR Cryptol. ePrint Arch. (2020)
Keyphrases
</>
state machines
state machine
petri net
web services
third party
service oriented
service providers
fault tolerant
recurrent networks
sequence diagrams
real time
access control
security policies