Probabilistic Termination and Composability of Cryptographic Protocols
From MaRDI portal
Publication:2829949
DOI10.1007/978-3-662-53015-3_9zbMath1406.94040MaRDI QIDQ2829949
Juan A. Garay, Ran Cohen, Sandro Coretti, Vassilis Zikas
Publication date: 9 November 2016
Published in: Advances in Cryptology – CRYPTO 2016 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53015-3_9
94A60: Cryptography