TY  - RPRT
TI  - On formal verification of arithmetic-based cryptographic primitives
AU  - David Nowak
PY  - 2009
DO  - 10.1007/978-3-642-00730-9_23
UR  - https://arxiv.org/abs/0904.1110
ID  - 0904.1110
ER  -