Re: Crypto Protocols are Hard to Analyze