Re: Cracking & auditing crypto protocols