PUBLICATION: SMASHUP: a toolchain for unified verification of hardware/software co-designs
© Springer. Personal use of this material is permitted. The definitive version of this paper was published in Journal of Cryptographic Engineering, Special Section on Proofs, November 2016 and is available at : http://dx.doi.org/10.1007/s13389-016-0145-2