@article{EURECOM+5062,
  author = {Lugou, Florian and  Apvrille, Ludovic and  Francillon, Aurélien},
  title = {SMASHUP: a toolchain for unified verification of hardware/software co-designs},
  journal = {Journal of Cryptographic Engineering, Special Section on Proofs, November 2016},
  year = {2016},
  note = {©  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},
}