vFHE: Verifiable Fully Homomorphic Encryption. - Christian Knabenhans; Alexander Viand; Antonio Merino-Gallardo; Anwar Hithnawi (WAHC@CCS, 2024)

Efficient Verifiable Mixnets from Lattices, Revisited. - Jonathan Bootle; Vadim Lyubashevsky; Antonio Merino-Gallardo (IACR Cryptol. ePrint Arch., 2025)