Proof producing synthesis of arithmetic and cryptographic hardware.

Konrad Slind Scott Owens Juliano Iyoda Mike Gordon Proof producing synthesis of arithmetic and cryptographic hardware. 343-362 2007 19 Formal Asp. Comput. 3 http://dx.doi.org/10.1007/s00165-007-0028-5 db/journals/fac/fac19.html#SlindOIG07