My attempt to break Rijndael (SAT-attack)

From: Thorsten Kiefer <toki782@xxxxxxxxxxxxxxxx>
Date: Tue, 27 Feb 2007 17:42:24 +0100

Hi,
I did some research on breaking Rijndael.
I converted the Rijndael algorithm into a SAT-instance.
Then I added the 1-literal clauses of the plaintext and the key.
Then I ran my favorite SAT-solver on this instance, and the result was
the correct encryption of the plaintext with the given key.

Now what more intersting :
I only add the 1-literal clauses of the plaintext and the ciphertext.
Now the solution should contain the correct key.
At the moment my SAT-solver does not terminate in finite time for this
constellation.

I call this the SAT-attack.

Is anyone interested ? Shall I provide links to my programs ?

Best regards
Thorsten

.

Follow-Ups:
- Re: My attempt to break Rijndael (SAT-attack)
  - From: Kristian Gjøsteen

Prev by Date: Re: Quantum Cryptography can not work
Next by Date: Re: About RSA Cryptosystem
Previous by thread: About RSA Cryptosystem
Next by thread: Re: My attempt to break Rijndael (SAT-attack)
Index(es):
- Date
- Thread

Relevant Pages

Re: My attempt to break Rijndael (SAT-attack)
... Then I added the 1-literal clauses of the plaintext and the key. ... the correct encryption of the plaintext with the given key. ... I only add the 1-literal clauses of the plaintext and the ciphertext. ... Do you think this is surprising? ...
(sci.crypt)
Re: My attempt to break Rijndael (SAT-attack)
... I converted the Rijndael algorithm into a SAT-instance. ... Then I added the 1-literal clauses of the plaintext and the key. ... Then I ran my favorite SAT-solver on this instance, ... I only add the 1-literal clauses of the plaintext and the ciphertext. ...
(sci.crypt)