Results 291 to 300 of about 2,887,711 (311)

HELIOPOLIS: Verifiable Computation over Homomorphically Encrypted Data from Interactive Oracle Proofs is Practical

IACR Cryptology ePrint Archive, 2023
Diego F. Aranha, Anamaria Costache, Antonio Guimarães, Eduardo Soria-Vazquez   +3 more
semanticscholar   +1 more source

Flexible and Efficient Verifiable Computation on Encrypted Data

IACR Cryptology ePrint Archive, 2020
Alexandre Bois, Ignacio Cascudo, D. Fiore, Dongwoo Kim   +3 more
semanticscholar   +1 more source

Multi-clients Verifiable Computation via Conditional Disclosure of Secrets

International Conference on Security and Cryptography for Networks, 2020
Rishabh Bhadauria, Carmit Hazay
semanticscholar   +1 more source

Verifiable Computation for Approximate Homomorphic Encryption Schemes

IACR Cryptology ePrint Archive
Ignacio Cascudo, Anamaria Costache, Daniele Cozzo, Dario Fiore, Antonio Guimarães, Eduardo Soria-Vazquez   +5 more
semanticscholar   +1 more source

Fides: A System for Verifiable Computation Using Smart Contracts

Lecture Notes in Computer Science, 2023
Mahmudun Nabi, Sepideh Avizheh, Reihaneh Safavi-Naini   +2 more
exaly  

Cinderella: Turning Shabby X.509 Certificates into Elegant Anonymous Credentials with the Magic of Verifiable Computation

IEEE Symposium on Security and Privacy, 2016
Antoine Delignat-Lavaud, C. Fournet, Markulf Kohlweiss, Bryan Parno   +3 more
semanticscholar   +1 more source

Game-Theoretic Analysis of an Incentivized Verifiable Computation System

Financial Cryptography Workshops, 2019
Mahmudun Nabi, S. Avizheh, Muni Venkateswarlu Kumaramangalam, R. Safavi-Naini   +3 more
semanticscholar   +1 more source

Efficient Proof Composition for Verifiable Computation

European Symposium on Research in Computer Security, 2018
Julien Keuffer, R. Molva, H. Chabanne
semanticscholar   +1 more source

New publicly verifiable computation for batch matrix multiplication

Information Sciences, 2019
Kuan-Ching Li, Aniello Castiglione, Xiaofeng Chen   +2 more
exaly  

Private and verifiable computation

The rise of cloud computing and big data analytics offers significant benefits for individuals and organizations as they enable a plethora of applications in diverse fields such as healthcare, home automation, and many more. These technologies enable individuals and organizations to adjust computational resources effortlessly and take advantage of ...
openaire   +2 more sources