@phdthesis{EURECOM+5292,
  author = {Zhioua, Zeineb},
  title = {Specification and automatic verification of security guidelines for program certification},
  year = {2017},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}