A formal security proof for the ZRTP Protocol

Riccardo Bresciani, Andrew Butterfield. A formal security proof for the ZRTP Protocol. In Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, ICITST 2009, London, UK, November 9-12, 2009. pages 1-6, IEEE, 2009. [doi]

Authors

Riccardo Bresciani

This author has not been identified. Look up 'Riccardo Bresciani' in Google

Andrew Butterfield

This author has not been identified. Look up 'Andrew Butterfield' in Google