[122538] in cryptography@c2.net mail archive
Re: OpenSparc -- the open source chip (except for the crypto parts)
daemon@ATHENA.MIT.EDU (Perry E. Metzger)
Mon May 5 19:56:41 2008
To: Ben Laurie <ben@links.org>
Cc: Marcos el Ruptor <ruptor@cryptolib.com>,
Cryptography <cryptography@metzdowd.com>
From: "Perry E. Metzger" <perry@piermont.com>
Date: Mon, 05 May 2008 08:43:40 -0400
In-Reply-To: <481EE9DD.5070305@links.org> (Ben Laurie's message of "Mon\, 05 May 2008 12\:05\:01 +0100")
Ben Laurie <ben@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@metzdowd.com
