@conference{EURECOM+4668,
  author = {Lugou, Florian and  Apvrille, Ludovic and  Francillon, Aurélien},
  title = {Toward a methodology for unified verification of hardware/software co-designs},
  booktitle = {PROOFS 2015, Security Proofs for Embedded Systems, 17 September 2015, Saint-Malo, France / To be published in Journal of Cryptographic Engineering (JCEN), Springer},
  year = {2015},
  editor = {Springer},
  address = {Saint-Malo},
  note = {©  Springer. Personal use of this material is permitted. The definitive version of this paper was published in PROOFS 2015, Security Proofs for Embedded Systems, 17 September 2015, Saint-Malo, France / To be published in Journal of Cryptographic Engineering (JCEN), Springer and is available at :},
}