@mastersthesis{EURECOM+5440,
  author = {Chabanne, Hervé and  Keuffer, Julien and  Molva, Refik},
  title = {Embedded proofs for verifiable neural networks},
  year = {2017},
  note = {IACR},
}