Sylvain Chatel, Christian Knabenhans, Apostolos Pyrgelis, Carmela Troncoso, Jean-Pierre Hubaux: VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption. Zenodo 2024