Eduardo Soria-Vazquez

Latest

• A Practical Framework for Verifiable Computation over Encrypted Data
• HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical