[122624] in cryptography@c2.net mail archive
Re: OpenSparc -- the open source chip (except for the crypto parts)
daemon@ATHENA.MIT.EDU (James A. Donald)
Tue May 6 13:40:56 2008
Date: Tue, 06 May 2008 18:14:40 +1000
From: "James A. Donald" <jamesd@echeque.com>
To: Cryptography <cryptography@metzdowd.com>
In-Reply-To: <481EE9DD.5070305@links.org>
Perry E. Metzger wrote:
> > What you can't do, full stop, is
> > know that there are no unexpected security related behaviors in the
> > hardware or software. That's just not possible.
Ben Laurie wrote:
> Rice's theorem says you can't _always_ solve this problem. It says
> nothing about figuring out special cases.
True, but the propensity of large teams of experts to issue horribly
flawed protocols, and for the flaws in those protocols to go
undiscovered for many years, despite the fact that once discovered they
look glaringly obvious in retrospect, indicates that this problem,
though not provably always hard, is in practice quite hard.
---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo@metzdowd.com
