Hosein Hadipour

New Tools Were Added by Hosein

1

Dear Sankalp, I added some new tools to the list. Kind regards, Hosein

I found it useful for integral cryptanalysis, especially for ARX based algorithms, but it has some technical limitation which could be solved. Bellow, I point to one of them. Let's...

keyboard interrupt

1

Hello all, I would just like to report that we can not get the intermediate solution after a keyboard interruption. However, this feature is available when we use Minizinc through...

verbose parameter

1

Hi all, I create this issue to discuss the `verbose` parameter. I am feeding the `solve` command with the following arguments: ``` cp_inst.solve(timeout=time_limit, processes=self.num_of_threads, verbose=True, debug_output=Path("./debug_output.txt", intermediate_solutions=True), optimisation_level=2) ``` My...

- Add linear analysis of PRESENT

How to set the Solver's verbosity?

5

Dear Pysat developer's team, Thanks for creating such a useful toolkit. I want to solve a SAT problem encoded as a CNF. I am using the following commands to read...

Hello Aleksei, Hope you are fine. Thanks for sharing the source of your great thesis as well as the codes. It will be very useful for the community. I'd just...

espresso executable does not work

11

I cloned the existing version (Jun 1, 2023) and compiled it using the following commands on a Debian-based Linux: ``` mkdir build cd build cmake .. make ``` I could...

Debug `component_function` in S-box Module and Add the S-box of WARP Block Cipher

4

### :books: Description 1- Debugging `component_function` in sbox module: - The `from_bits(self, x, n=None)` function is invoked within the `component_function` of the Sbox class. When the `input_size` and `output_size` of...