Re: SAT solvers applied to cryptanalysis

From: John A. Malley (johnmrcswa_at_earthlink.net)
Date: 10/27/05 

Date: Thu, 27 Oct 2005 07:07:21 GMT

Francois Grieu wrote:
> I am looking for documented cases of satisfiability
> solvers applied to cryptanalysis, with results (positive
> or negative). Any pointers ?
>
>
> François Grieu

Yes, that question rang a bell! I recall stumbling across two papers on the
application of SAT solvers to cryptanalysis, with results, and both came out of
Italy. (That's what stuck in my memory - Italy! I just can't explain why it
struck me as odd to see SAT papers from Italy...but then again, where would I
expect such papers to arise? Austria. I kid you not, that's the kind of thing I
expect from Austria...) :-)

"Logical Cryptanalysis as a SAT Problem, Encoding and Analysis of the U.S. Data
Encryption Standard," Fabio Massacci and Laura Marraro,

http://www.ing.unitn.it/~massacci/papers/mass-marr-00-JAR.pdf

and

"Using Walk-SAT and Rel-SAT for Cryptographic Key Search," Fabio Massacci,

http://www.ing.unitn.it/~massacci/papers/mass-99-IJCAI.pdf

HTH,

John A. Malley
102667.2235@compuserve.com

Relevant Pages

  • REPOST: Re: SAT solvers applied to cryptanalysis
    ... Francois Grieu wrote: ... > solvers applied to cryptanalysis, ... Any pointers? ... I recall stumbling across two papers on the ...
    (sci.crypt)
  • REPOST: Re: SAT solvers applied to cryptanalysis
    ... Francois Grieu wrote: ... > solvers applied to cryptanalysis, ... I recall stumbling across two papers on the ... NNTP-Posting-Host: 80.108.28.208 ...
    (sci.crypt)
  • Re: JEL sandbox cipher is weak
    ... Some core papers are... ... Differential Cryptanalysis of DES-like Cryptosystems ... Impossible Differentials ... Boomerang Attacks ...
    (sci.crypt)
  • REPOST: security vs performace
    ... I have gone through the various papers on best cryptanalysis of aes, ... of chosen plaintext. ... very thankful if someone could correct me, and give me some pointers ... from where i could get a better idea to interpret cryptanalysis ...
    (sci.crypt)
  • security vs performace
    ... I have gone through the various papers on best cryptanalysis of aes, ... of chosen plaintext. ... very thankful if someone could correct me, and give me some pointers ... from where i could get a better idea to interpret cryptanalysis ...
    (sci.crypt)