From: "Perry E. Metzger" <perry@panix.com>
Date: Wed, 2 Aug 95 08:39:00 PDT
To: Matthew James Sheppard <Matthew.Sheppard@comp.vuw.ac.nz>
Subject: Re: Provably Correct Crypto?
In-Reply-To: <199508020255.OAA10557@bats.comp.vuw.ac.nz>
Message-ID: <199508021538.LAA08653@panix4.panix.com>
MIME-Version: 1.0
Content-Type: text/plain



Matthew James Sheppard writes:
> I stipulated I didn't want any such garbage, I specifically said
> english summaries are not acceptable and you bombard me with them.
> Yet you wont accept others opinion of PGP's security, which verbal or
> other wise, can only be an abstract summary.

Not long ago "Dr." Cohen was in a flame war with me (on bugtraq) in
which he claimed exactly the opposite of everything he's claiming here
-- that for enough money it was practical to actually prove the
security of an arbitrarily complex piece of code. Here, of course, he
claims the exact opposite.

Perry