Re: RC5-32/12/9 converted to 3SAT
- From: Francois Grieu <fgrieu@xxxxxxxxx>
- Date: Mon, 13 Sep 2010 03:14:31 +0200
On 11/09/2010 19:49, Paul Rubin wrote:
People have tried SAT solvers on crypto problems before, with
no luck as far as I know,
There are notable recent sucesses: weak stream ciphers
of the MiFare Classic contactless card, and/or DECT, and/or GSM.
<http://eprint.iacr.org/2008/166>
<http://www.cs.virginia.edu/~kn5f/pdf/Research.Statement.Karsten.Nohl.pdf>
using some cousin of this state-of-the-art, crypto-optimized SAT solver
<http://www.msoos.org/cryptominisat2>
Francois Grieu
.
- Follow-Ups:
- Re: RC5-32/12/9 converted to 3SAT
- From: Willow
- Re: RC5-32/12/9 converted to 3SAT
- References:
- RC5-32/12/9 converted to 3SAT
- From: Willow
- Re: RC5-32/12/9 converted to 3SAT
- From: Paul Rubin
- RC5-32/12/9 converted to 3SAT
- Prev by Date: Re: RC5-32/12/9 converted to 3SAT
- Next by Date: Re: CFB mode and plaintext's whose length isn't a multiple of the block size
- Previous by thread: Re: RC5-32/12/9 converted to 3SAT
- Next by thread: Re: RC5-32/12/9 converted to 3SAT
- Index(es):
Relevant Pages
|
