Apple Improves iMessage Security With Contact Key Verification

Contact key verification uses a verifiable log-backed map data structure to ensure user privacy and allow audits. It also enables users to manually verify contacts using a protocol called Vaudenay SAS.