A Few Thoughts on Cryptographic Engineering: Is Apple's Cloud Key Vault a crypto backdoor?