search

IAIK / rebecca

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.
Apache License 2.0
4 stars 2 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated