Client-controlled cryptography-as-a-service in the cloud
On the security of public key protocols