@phdthesis{EURECOM+7176,
  author = {Mansouri, Mohamad},
  title = {Performance and verifiability of IOT security protocols},
  year = {2023},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in Thesis and is available at :},
}