REBECCA

MaRDI QIDQ43506swMATHFDO

Official website https://github.com/riusupov/rebecca

Source code repository https://github.com/riusupov/rebecca

Cited in

(3)

• Formal verification of masked hardware implementations in the presence of glitches
• acrt
• Yosys

This page was built for software: REBECCA