First page Back Continue Last page Summary Graphic
Results
We can generate random keys, plaintext
- unlimited supply of benchmark problems
- problems should be hard, so good for testing algorithms
Results
- Walk-SAT can solve 2 rounds of DES
- Rel-SAT can solve 3 rounds of DES
- compare specialist methods, solving up to 12 rounds
Have not shown SAT can effectively solve DES
Shown an application of SAT,and new challenges