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

[Perry E. Metzger]

Ben Laurie <ben at links.org> writes:
> I think that's blatantly untrue. For example, if I look at an AND
> gate, I can be absolutely sure about its security properties.

An AND gate isn't Turing Equivalent.

> Rice's theorem says you can't _always_ solve this problem. It says
> nothing about figuring out special cases.

Any modern processor is sufficiently larger than an AND gate that it
is no longer tractable. It isn't even possible to describe the
security properties one would need to (formally) prove.

Perry

---------------------------------------------------------------------
The Cryptography Mailing List
Unsubscribe by sending "unsubscribe cryptography" to majordomo at metzdowd.com