[7183] in cryptography@c2.net mail archive
Re: NSA back doors in encryption products
daemon@ATHENA.MIT.EDU (Eugene Leitl)
Thu May 25 23:45:57 2000
From: Eugene Leitl <eugene.leitl@lrz.uni-muenchen.de>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Message-ID: <14636.55488.285821.179589@lrz.uni-muenchen.de>
Date: Thu, 25 May 2000 00:39:44 -0700 (PDT)
To: "Enzo Michelangeli" <enzom@bigfoot.com>
Cc: "Eugene Leitl" <Eugene.Leitl@lrz.uni-muenchen.de>,
"Rick Smith" <rick_smith@securecomputing.com>,
"Arnold G. Reinhold" <reinhold@world.std.com>,
"John Gilmore" <gnu@toad.com>, <cryptography@c2.net>, <gnu@cygnus.com>
In-Reply-To: <02b701bfc5e7$99232dc0$16006598@asiainter.net>
Enzo Michelangeli writes:
> And why should we trust hardware implementations, which are even more opaque
> to analysis than binary-only software?
It is harder to analyze (mostly, because you can't look at it easily,
and can't trust what it tells about its inner state), but it has much
less bits to look at than your average Unix box. Can one prove
behaviour of small VHDL circuits these days, anyone knows?
