@misc{EURECOM+4579,
  author = {Lugou, Florian},
  title = {Analyzing security properties at the interface between HW \& SW},
  howpublished = {Première Journée des Doctorants du Labex UCN@Sophia, 24 Avril 2014, Sophia-Antipolis, France},
  year = {2015},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Première Journée des Doctorants du Labex UCN@Sophia, 24 Avril 2014, Sophia-Antipolis, France and is available at :},
}