sca-verification.org

SCA verification tools & topics

DyPoSub

DyPoSub takes advantage of dynamic substitution ordering in combination with local vanishing removal and reverse engineering to verify optimitzed and industrial multipliers.

How to get DyPoSub

References

Created by
Group of
Computer Architecture, University of Bremen
University of Bremen

supported by SyDe

Datenschutz