@conference{EURECOM+8061,
  author = {Campanelli, Matteo and  Faonio, Antonio and  Russo, Luigi},
  title = {SNARKs for virtual machines are non-malleable},
  booktitle = {ZKPROOF 2025, 23-25 March 2025, Sofia, Bulgary},
  year = {2025},
  editor = {EURECOM},
  address = {Sofia},
  note = {© EURECOM. Personal use of this material is permitted. The definitive version of this paper was published in ZKPROOF 2025, 23-25 March 2025, Sofia, Bulgary and is available at :},
}