Michael Backes 0001, Jannik Dreier, Steve Kremer, Robert Künnemann. A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange. In 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017. pages 76-91, IEEE, 2017. [doi]
Abstract is missing.