On formal verification of arithmetic-based cryptographic primitives

David Nowak

Cryptographic primitives are fundamental for information security: they are used as basic components for cryptographic protocols or public-key cryptosystems. In many cases, their s…