A Bit-Vector Differential Model for the Modular Addition by a Constant

Share "A Bit-Vector Differential Model for the Modular Addition by a Constant"

N/A

Protected

Studieår: 2022

Info

Protected

Academic year: 2022

Share "A Bit-Vector Differential Model for the Modular Addition by a Constant"

Copied!

Fulltekst

Referanser

Outline

4 SMT-based Search of Characteristics

RELATERTE DOKUMENTER