Representing integer multiplication using binary decision diagrams
H. Raddum and S. Varadharajan, “Representing integer multiplication using binary decision diagrams” Workshop on Mathematical Methods for Cryptography (MMC), Lofoten, Svolvær, Norway, Sept. 4–8, 2017
