OpenSparc -- the open source chip (except for the crypto parts)

[James A. Donald]

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 at metzdowd.com