Re: Provably Correct Crypto?