REBECCA is a tool for the formal verification of masked cryptographic hardware implementations that, given the netlist of a masked hardware circuit, determines if a correct separation between shares is preserved throughout the circuit.
Hi,
I've started to experiment with your tool and did some cleanups during the process. I've also added a python-requirements file. I hope this will be useful for others as well.
Hi, I've started to experiment with your tool and did some cleanups during the process. I've also added a python-requirements file. I hope this will be useful for others as well.