Decentralized Semantic Identity
On the security of public key protocols