ko-/sboxoptimization

Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers

sboxoptimization's Issues

which sat solver?

Hi Ko-,
I'm tring use this repo for the rectangle wiht gc = 11,
and I use the minisat as my sat solver,
but it seem like that the format is not correct by using the minisat.
Could you tell me which sat solver you use?

Thank you very much!

Rectangle gc with k=11

Hi Ko-,

I'm try to do the experiment for the Rectangle S-Box (gc, k=11).
My SAT solver have running about 1 day long on the linux virtual machine without finding the solution.
Is this normal or maybe I made some mistake?

Thank you very much.

Siwei Sun

Primate bitsliced

Hi Ko-,

It's some very interesting work. I am currently working on something related to it (making bit-sliced implementations of the aforementioned ciphers).

Out of curiosity - how come you left out Primate's s-box in your paper, when it came to how effective (i.e. how low k) it could be implemented?

My SAT solver has been running for half a day, so just curious to whether, there is some reason for you only mentioning the results of the other bitsliced s-boxes.

Thanks!

• Jonas