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
Institute for
Complex Systems, JKU Linz
Johannes Kepler University Linz

supported by SyDe

Datenschutz