GitHub repository: IAIK/rebecca
Primary language: Verilog
Description: 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.