maskVerif

swMATH40780MaRDI QIDQ1354562FDOQ1354562

Author name not available (Why is that?)

Official website: https://cryptoexperts.com/maskverif/

Source code repository: https://gitlab.com/benjgregoire/maskverif/

Cited In (7)

• Verilator
• Proving SIFA protection of masked redundant circuits
• Tornado
• Fast verification of masking schemes in characteristic two
• Kyber
• Towards tight random probing security
• SILVER -- statistical independence and leakage verification

This page was built for software: maskVerif