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

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Michael Backes 0001' in GoogleThis author has not been identified. Look up 'Jannik Dreier' in GoogleThis author has not been identified. Look up 'Steve Kremer' in GoogleThis author has not been identified. Look up 'Robert Künnemann' in Google

runs on WebDSL