2007 Reports :  Cryptology ePrint Archive Forum
Discussion forum for Cryptology ePrint Archive reports posted in 2007. Please put the report number in the subject.  

Current Page: 1 of 1
Results 1 - 6 of 6
02-Jun-2010 03:45
nkoblitz
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
07-Nov-2007 19:34
nigel
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
03-Nov-2007 00:31
Vielhaber
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
25-Oct-2007 12:49
nigel
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
24-Oct-2007 23:57
jkatz
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
22-Oct-2007 20:05
ShaiHalevi
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
Current Page: 1 of 1

Search Messages   Search Authors