1995-08-01 - Provably Correct Crypto?

Header Data

From: Phil Fraering <pgf@tyrell.net>
To: cypherpunks@toad.com
Message Hash: 4b5dbf46fb0f5d290ccb325ba084c5a1acae6cd05d969a7d7499c746285fe7e9
Message ID: <199508012149.AA26006@tyrell.net>
Reply To: <9508011911.AA11465@all.net>
UTC Datetime: 1995-08-01 21:53:28 UTC
Raw Date: Tue, 1 Aug 95 14:53:28 PDT

Raw message

From: Phil Fraering <pgf@tyrell.net>
Date: Tue, 1 Aug 95 14:53:28 PDT
To: cypherpunks@toad.com
Subject: Provably Correct Crypto?
In-Reply-To: <9508011911.AA11465@all.net>
Message-ID: <199508012149.AA26006@tyrell.net>
MIME-Version: 1.0
Content-Type: text/plain

Hmm. Instead of "vetting" the PGP PRNG code, as Dr. Cohen has been
trying to tell me in private email is several programmer- years worth
of work perhaps I should just write my own version of the PRNG using
the algorithm as defined in whitepapernumberwhatever.

If there are artificial "bugs" to throw off the PRNG currently in the
PGP MIT code, they ought to simply not work right with the code I
write independently and therefore cause a crash or something.

Or perhaps just rewrite the program to use plain arrays instead of
pointers. ;-)