A formal security proof for the ZRTP Protocol
You are here
| Title | A formal security proof for the ZRTP Protocol |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Bresciani R, Butterfield A |
| Conference Name | The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009)The 4th International Conference for Internet Technology and Secured Transactions (ICITST-2009) |
| Date Published | 2009 |
| Publisher | IEEE/Infonomics Society |
| Conference Location | London, UK |
| URL | https://sharepoint.lero.ie/Publications/2009/Conference%20Papers/2009-Bresciani-A%20formal%20security%20proof%20for%20the%20ZRTP%20Protocol.pdf.pdf |




