Non-interactive verifiable computing: outsourcing computation to untrusted workers
From MaRDI portal
Recommendations
- Multi-client non-interactive verifiable computation
- Achieving privacy in verifiable computation with multiple servers -- without FHE and without pre-processing
- Trinocchio: privacy-preserving outsourcing by distributed verifiable computation
- Multi-client outsourced computation
- Multi-server verifiable delegation of computations: unconditional security and practical efficiency
Cited in
(only showing first 100 items - show all)- Fine-grained secure computation
- Succinct garbling schemes from functional encryption through a local simulation paradigm
- The hunting of the SNARK
- Perennial secure multi-party computation of universal Turing machine
- Trusted computing with addition machines. II
- Practical homomorphic message authenticators for arithmetic circuits
- Verifiable pattern matching on outsourced texts
- Efficient and secure outsourced approximate pattern matching protocol
- Proof-of-work certificates that can be efficiently computed in the cloud (invited talk)
- Group homomorphic encryption: characterizations, impossibility results, and applications
- How to securely outsource the extended Euclidean algorithm for large-scale polynomials over finite fields
- New publicly verifiable computation for batch matrix multiplication
- Privacy-preserving verifiable delegation of polynomial and matrix functions
- Delegating a product of group exponentiations with application to signature schemes
- On subversion-resistant SNARKs
- Lattice-based weak-key analysis on single-server outsourcing protocols of modular exponentiations and basic countermeasures
- Multi-server verifiable delegation of computations: unconditional security and practical efficiency
- Boosting verifiable computation on encrypted data
- Flexible and efficient verifiable computation on encrypted data
- Round-optimal black-box commit-and-prove with succinct communication
- Progressive and efficient verification for digital signatures
- Efficient oblivious evaluation protocol and conditional disclosure of secrets for DFA
- Multi-clients verifiable computation via conditional disclosure of secrets
- Succinct non-interactive arguments via linear interactive proofs
- LOVE a pairing
- Adaptive security of practical garbling schemes
- Efficient proof composition for verifiable computation
- Publicly verifiable database scheme with efficient keyword search
- Efficient and secure delegation of exponentiation in general groups to a single malicious server
- Secure and efficient delegation of elliptic-curve pairing
- Revisiting the secret hiding assumption used in verifiable (outsourced) computation
- On the power of secure two-party computation
- Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions
- Secure outsourcing of modular exponentiations under single untrusted programme model
- Privacy-preserving and verifiable protocols for scientific computation outsourcing to the cloud
- Secure and efficient outsourcing computation on large-scale linear regressions
- Privacy-preserving computation in cyber-physical-social systems: a survey of the state-of-the-art and perspectives
- Verifiable inner product computation on outsourced database for authenticated multi-user data sharing
- Universally verifiable multiparty computation from threshold homomorphic cryptosystems
- Multi-input functional encryption and its application in outsourcing computation
- Batch verifiable computation with public verifiability for outsourcing polynomials and matrix computations
- Secure and traceable framework for data circulation
- Optimal contracts for outsourced computation
- Trinocchio: privacy-preserving outsourcing by distributed verifiable computation
- Verifiable multi-party computation with perfectly private audit trail
- Practical verified computation with streaming interactive proofs
- The feasibility of outsourced database search in the plain model
- Verifiable pattern matching on outsourced texts
- On garbling schemes with and without privacy
- On the Power of Secure Two-Party Computation
- Spooky interaction and its discontents: compilers for succinct two-message argument systems
- Adaptively secure garbled circuits from one-way functions
- Delegatable homomorphic encryption with applications to secure outsourcing of computation
- Secure two-party computation: a visual way
- Multi-key Homomorphic Authenticators
- Reactive garbling: foundation, instantiation, application
- Encoding functions with constant online rate, or how to compress garbled circuit keys
- On privacy-preserving biometric authentication
- Secure outsourced computation
- Incompressible functions, relative-error extractors, and the power of nondeterministic reductions
- Integrity and consistency for untrusted services (extended abstract)
- CRT-based outsourcing algorithms for modular exponentiations
- Verifiable computation for randomized algorithm
- Adaptive succinct garbled RAM or: how to delegate your database
- Non-interactive and verifiable outsourcing computation scheme for modular exponentiation
- Revocation in publicly verifiable outsourced computation
- Arguments of proximity (extended abstract)
- From secrecy to soundness: efficient verification via secure computation (extended abstract)
- Refereed delegation of computation
- Indistinguishability Obfuscation for RAM Programs and Succinct Randomized Encodings
- Multikey fully homomorphic encryption and applications
- Confidentiality-preserving publicly verifiable computation
- Thrackles: an improved upper bound
- Efficient algorithms for secure outsourcing of bilinear pairings
- Multi-client non-interactive verifiable computation
- Constant-round interactive proofs for delegating computation
- Algebraic (trapdoor) one-way functions: constructions and applications
- Garbled circuits as randomized encodings of functions: a primer
- Identity-based re-encryption scheme with lightweight re-encryption key generation
- Efficient computation outsourcing for inverting a class of homomorphic functions
- Cloud-assisted LLL: a secure and efficient outsourcing algorithm for approximate shortest vector problem
- Secure computation without computers
- Delegation of computation with verification outsourcing: curious verifiers
- Multi-client verifiable computation with stronger security guarantees
- Verifiable computation with reduced informational costs and computational costs
- Computational integrity with a public random string from quasi-linear PCPs
- Achieving privacy in verifiable computation with multiple servers -- without FHE and without pre-processing
- Multi-client outsourced computation
- VD-PSI: Verifiable Delegated Private Set Intersection on Outsourced Private Datasets
- No-signaling linear PCPs
- No-signaling linear PCPs
- Private polynomial commitments and applications to MPC
- Non-interactive publicly-verifiable delegation of committed programs
- Rinocchio: SNARKs for ring arithmetic
- scientific article; zbMATH DE number 7746256 (Why is no real title available?)
- Towards reducing delegation overhead in replication-based verification: an incentive-compatible rational delegation computing scheme
- Rigidity of quantum steering and one-sided device-independent verifiable quantum computation
- Function-Dependent Commitments for Verifiable Multi-party Computation
- Lighter is better: a lighter multi-client verifiable outsourced computation with hybrid homomorphic encryption
- Verifiable Computation and Succinct Arguments for NP
This page was built for publication: Non-interactive verifiable computing: outsourcing computation to untrusted workers
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3582771)
