@conference{EURECOM+8049,
  author = {Campanelli, Matteo and  Faonio, Antonio and  Russo, Luigi},
  title = {SNARKs for virtual machines are non-malleable},
  booktitle = {EUROCRYPT 2025, 44th Annual International Conference on the Theory and Applications of Cryptographic Techniques, 4-8 May 2025, Madrid, Spain},
  year = {2025},
  editor = {IACR},
  address = {Madrid},
  note = {IACR},
}