REPOST: Re: SAT solvers applied to cryptanalysis

From: David Wagner (daw_at_taverner.cs.berkeley.edu)
Date: 10/27/05


Date: Thu, 27 Oct 2005 17:47:43 +0000 (UTC)

I assume you're familiar with the recent work on using BDDs to
attack stream ciphers?

I can't think of any successes with using SAT solvers to attack
cryptosystems.

========= WAS CANCELLED BY =======:
Path: ...hammer.uoregon.edu!news.glorb.com!hwmnpeer01.lga!hwmedia!hw-filter.lga!fe08.lga.POSTED!53ab2750!not-for-mail
From: daw@taverner.cs.berkeley.edu (David Wagner)
Control: cancel <djr3rv$2ue8$1@agate.berkeley.edu>
Subject: Re: SAT solvers applied to cryptanalysis
Newsgroups: sci.crypt
Message-ID: <cuj0vd$0of5$7@agate.berkeley.edu>
X-Mailer: Mozilla 4.5 [pl] (WinNT; I)
Lines: 2
Date: Thu, 27 Oct 2005 23:41:31 GMT
NNTP-Posting-Host: 67.87.195.212
X-Complaints-To: abuse@cv.net
X-Trace: fe08.lga 1130458238 67.87.195.212 (Thu, 27 Oct 2005 17:10:38 MST)
NNTP-Posting-Date: Thu, 27 Oct 2005 17:10:38 MST
Organization: Optimum Online