Login / Signup
A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange.
Michael Backes
Jannik Dreier
Steve Kremer
Robert Künnemann
Published in:
EuroS&P (2017)
Keyphrases
</>
cryptographic protocols
fair exchange
standard model
signature scheme
electronic commerce
multi party
fair exchange protocols
security protocols
authentication protocol
dispute resolution
trusted third party
formal verification
locally decodable codes