PUBLICATION: Toward a methodology 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 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 :