Publikation

RevSCA-2.0: SCA-based Formal Verification of Non-trivial Multipliers using Reverse Engineering and Local Vanishing Removal

Alireza Mahzoon, Daniel Große, Rolf Drechsler

In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) IEEE 2021.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence