A Fort Knox for Web crypto keys: Inside Symantec's SSL certificate vault