@mastersthesis{EURECOM+7893,
  author = {Campanelli, Matteo and  Faonio, Antonio and  Russo, Luigi},
  title = {SNARKs for virtual machines are non-malleable},
  year = {2024},
  note = {IACR},
}