In view of this recent posting agreeing with Jonathan Katz's 2007 posting, I'd like to point out that Katz is wrong in stating that my comment on p. 16 is incorrect. Of course, neither the theorem no
Forum: 2007 Reports

Actually it is the VERIFICATION of the current Intel floating point unit, which was done as a result of the pentium bug which I would claim shows that formal methods have a place. Talk to a chip de
Forum: 2007 Reports

Observing that Koblitz cites Sokal, I was essentially sure I would like this report. Not disappointed. @jkatz: So, what is Nowak showing then? Since ElGamal is unsecure for certain q's, the "pro
Forum: 2007 Reports

I think there is a major misunderstanding in the article as to why these works are interesting. In chip design, automated verification via computer assisted, or directed, proofs is crucial; otherwi
Forum: 2007 Reports

I just wanted to note that the criticism given at the end of Section 4 (page 16) is incorrect: if q (the order of the group) has small factors, then indeed El Gamal is insecure. But in that case the D
Forum: 2007 Reports

In his latest article, Koblitz decries those naive cryptographers who "hope that a suitably designed device --- some cleverly written computer code --- will make unpleasant natural phenomena go away."
Forum: 2007 Reports