TitleA formal security proof for the ZRTP Protocol
Publication TypeConference Paper
Year of Publication2009
AuthorsBresciani R, Butterfield A
Conference NameThe 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)
Date Published2009
PublisherIEEE/Infonomics Society
Conference LocationLondon, UK
URLhttps://sharepoint.lero.ie/Publications/2009/Conference%20Papers/2009-Bresciani-A%20formal%20security%20proof%20for%20the%20ZRTP%20Protocol.pdf.pdf