A formal security proof for the ZRTP Protocol | IEEE Conference Publication | IEEE Xplore