Publication Overview

Michael Backes and Jannik Dreier and Steve Kremer and Robert Künnemann

A Novel Approach for Reasoning about Liveness in Cryptographic Protocols and Its Application to Fair Exchange

Published in: 2017 IEEE European Symposium on Security and Privacy, EuroS&P 2017, Paris, France, April 26-28, 2017
Year: 2017
Volume: 15
Pages: 76-91