Improved Delegation of Computation using Fully Homomorphic Encryption

No abstract is available for this paper.

• Publication year

  2010

• Venue

  IACR Cryptology ePrint Archive

• Publication date

  2010-08-15

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-642-14623-7_26
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers

  2010influential reference
• Probabilistically Checkable Arguments

  2009cited by this paper
• Fully homomorphic encryption using ideal lattices

  2009influential reference
• Delegating computation: interactive proofs for muggles

  2008cited by this paper
• reCAPTCHA: Human-Based Character Recognition via Web Security Measures

  2008cited by this paper
• Sufficient Conditions for Collision-Resistant Hashing

  2005cited by this paper
• Non-deterministic exponential time has two-prover interactive protocols

  2005cited by this paper
• BOINC: a system for public-resource computing and storage

  2004cited by this paper
• Public Computing: Reconnecting People to Science

  2003cited by this paper
• On the (In)security of the Fiat-Shamir paradigm

  2003cited by this paper
• Universal arguments and their applications

  2002cited by this paper
• How to go beyond the black-box simulation barrier

  2001cited by this paper
• The random oracle methodology, revisited

  2000cited by this paper
• Computationally Sound Proofs

  2000cited by this paper
• CS proofs

  1994cited by this paper
• IP = PSPACE

  1992cited by this paper
• A note on efficient zero-knowledge proofs and arguments (extended abstract)

  1992cited by this paper
• Checking computations in polylogarithmic time

  1991cited by this paper
• Interactive Proof Systems and Alternating Time-Space Complexity

  1991cited by this paper
• Algebraic methods for interactive proof systems

  1990cited by this paper
• The Knowledge Complexity of Interactive Proof Systems

  1989cited by this paper
• Minimum Disclosure Proofs of Knowledge

  1988cited by this paper
• How to Prove Yourself: Practical Solutions to Identification and Signature Problems

  1986cited by this paper
• Trading group theory for randomness

  1985cited by this paper

• Secure Outsourcing of Deep Active Learning in the IoT: From Both Sample Selection and Model Update Perspectives

  2026cites this paper
• Protecting Data in the Cloud: A Systematic Literature Review of Key Management

  2025cites this paper
• Privacy-Preserving Transformation Used in Verifiable (Outsourced) Computation, Revisited

  2024cites this paper
• Vehicular Edge-Based Approach for Optimizing Urban Data Privacy

  2024cites this paper
• VERITAS: Plaintext Encoders for Practical Verifiable Homomorphic Encryption

  2024cites this paper
• Doubly Efficient Cryptography: Commitments, Arguments and RAM MPC

  2024cites this paper
• A Multi-Server Publicly Verifiable Computation Scheme with Context-Hiding Property

  2024cites this paper
• Proofless Verifiable Computation from Integer Factoring

  2023cites this paper
• Privacy-Preserving and Secure Cloud Computing: A Case of Large-Scale Nonlinear Programming

  2023cites this paper
• Privacy-Preserving Large Language Models (PPLLMs)

  2023cites this paper
• On Black-Box Verifiable Outsourcing

  2023cites this paper
• Tools for Verifying Neural Models' Training Data

  2023cites this paper
• Verifiable Homomorphic Secret Sharing for Machine Learning Classifiers

  2023cites this paper
• Poster: Verifiable Encodings for Maliciously-Secure Homomorphic Encryption Evaluation

  2023cites this paper
• Protecting Function Privacy and Input Privacy in the Publicly Verifiable Outsourcing Computation of Polynomial Functions

  2023cites this paper
• Black-Box Separations for Non-Interactive Commitments in a Quantum World

  2023cites this paper
• Rinocchio: SNARKs for Ring Arithmetic

  2023cites this paper
• Privacy-Preserving and Publicly Verifiable Matrix Multiplication

  2023cites this paper
• Verifiable Encodings for Secure Homomorphic Analytics

  2022cites this paper
• Chapter 1 Function Secret Sharing and Homomorphic Secret Sharing

  2022cites this paper
• Ensuring Accountability and Outsourced Decryption in IoT Systems using Ciphertext-Policy Attribute-Based Encryption

  2022cites this paper
• Single-Server Delegation of Small-Exponent Exponentiation from Quasilinear-Time Clients and Applications

  2022cites this paper
• Non-Interactive Publicly-Verifiable Delegation of Committed Programs

  2022cites this paper
• Outsourced CP-ABE with Whitebox Accountability in IoT Systems

  2022cites this paper
• Delegation for Search Problems

  2022cites this paper
• Smart Contracts for Incentivized Outsourcing of Computation

  2021cites this paper
• Single-Server Delegation of Ring Multiplications from Quasilinear-time Clients

  2021cites this paper
• Verifiable Computing Using Computation Fingerprints Within FHE

  2021cites this paper
• Blockchain-Aided Privacy-Preserving Outsourcing Algorithms of Bilinear Pairings for Internet of Things Devices

  2021cites this paper
• Off-chain Execution and Verification of Computationally Intensive Smart Contracts

  2021cites this paper
• Multi-Server Verifiable Delegation of Computations: Unconditional Security and Practical Efficiency

  2021cites this paper
• Homomorphic signcryption with public plaintext-result checkability

  2021cites this paper
• Toward Both Privacy and Efficiency of Homomorphic MACs for Polynomial Functions and Its Applications

  2021cites this paper
• Towards reducing delegation overhead in replication-based verification: An incentive-compatible rational delegation computing scheme

  2021cites this paper
• How to Extract Image Features Based on Co-Occurrence Matrix Securely and Efficiently in Cloud Computing

  2020cites this paper
• Secure and Efficient Outsourcing of PCA-Based Face Recognition

  2020cites this paper
• Rational Delegation Computing Using Information Theory and Game Theory Approach

  2020cites this paper
• Privacy-preserving computation in cyber-physical-social systems: A survey of the state-of-the-art and perspectives

  2020cites this paper
• Co-Utile Peer-to-Peer Decentralized Computing

  2020cites this paper
• Sparse Matrix Masking-Based Non-Interactive Verifiable (Outsourced) Computation, Revisited

  2020cites this paper
• Securely Outsource Modular Exponentiations With Single Untrusted Cloud Server

  2020cites this paper
• Security and Privacy Issues in Fog Computing for Healthcare 4.0

  2020cites this paper
• A Secure and Lightweight Fine-Grained Data Sharing Scheme for Mobile Cloud Computing

  2020cites this paper
• Secure and Efficient Delegation of Elliptic-Curve Pairing

  2020cites this paper
• Efficient and Privacy-Preserving Outsourcing of 2D-DCT and 2D-IDCT

  2020cites this paper
• Privacy-preserving verifiable delegation of polynomial and matrix functions

  2020cites this paper
• Improved algorithm for management of outsourced database

  2020cites this paper
• Multi-matrix verifiable computation

  2020influential citation
• Delegating a Product of Group Exponentiations with Application to Signature Schemes (Submission to Special NutMiC 2019 Issue of JMC)

  2020cites this paper
• Efficient and Secure Delegation of Exponentiation in General Groups to a Single Malicious Server

  2020cites this paper
• Fair payments for verifiable cloud services using smart contracts

  2020cites this paper
• Verifiable Summation of Read-Once Formula Specified Data

  2020cites this paper
• Cheater-identifiable homomorphic secret sharing for outsourcing computations

  2020cites this paper
• Cooperate Delegation of Computation for Rational Party Using Zero-Determinant Strategy Approach

  2020cites this paper
• Secure Computation Outsourcing for Inversion in Finite Field

  2020cites this paper
• Secure and efficient outsourcing computation on large-scale linear regressions

  2020cites this paper
• Verifiable Subgraph Matching With Cryptographic Accumulators in Cloud Computing

  2019cites this paper
• How to Construct Rational Protocols with Nash Equilibrium Consistency in the UC framework

  2019cites this paper
• Verifiable outsourced computation over encrypted data

  2019cites this paper
• Secure Outsourcing Algorithm for Bilinear Pairings without Pre-Computation

  2019cites this paper
• Novel Secure Outsourcing of Modular Inversion for Arbitrary and Variable Modulus

  2019cites this paper
• Differential Privacy meets Verifiable Computation: Achieving Strong Privacy and Integrity Guarantees

  2019cites this paper
• Verifiable computation using re-randomizable garbled circuits

  2019influential citation
• Verifiable Computation using Smart Contracts

  2019cites this paper
• An efficient outsourced attribute-based encryption scheme in the device-to-device mobile network

  2019cites this paper
• A Comprehensive Review of Access Control Mechanism Based on Attribute Based Encryption Scheme for Cloud Computing

  2019cites this paper
• Analysis of attribute‐based cryptographic techniques and their application to protect cloud services

  2019cites this paper
• IoT device IoT device IoT device IoT device IoT device IoT

  2019cites this paper
• CUPS: Secure opportunistic cloud of things framework based on attribute‐based encryption scheme supporting access policy update

  2019cites this paper
• The Security of Big Data in Fog-Enabled IoT Applications Including Blockchain: A Survey

  2019cites this paper
• Two-Server Delegation of Computation on Label-Encrypted Data

  2019cites this paper
• Verifiable outsourcing computation for modular exponentiation from shareable functions

  2019cites this paper
• Chapter 1 Homomorphic Encryption — Theory and Application

  2019cites this paper
• Towards dependable and trustworthy outsourced computing: A comprehensive survey and tutorial

  2019cites this paper
• Efficient and Secure Outsourcing of DFT, IDFT, and Circular Convolution

  2019cites this paper
• Protecting data privacy in publicly verifiable delegation of matrix and polynomial functions

  2019influential citation
• Revisiting the Secret Hiding Assumption Used in Verifiable (Outsourced) Computation

  2019cites this paper
• Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

  2019cites this paper
• Outlook Database under Keyword Common Reliable Internal Rating

  2018cites this paper
• Attribute-based multi-function verifiable computation

  2018cites this paper
• A novel server side deduplication scheme for encrypted data

  2018cites this paper
• Lightweight Fault Tolerance for Secure Aggregation of Homomorphic Data

  2018cites this paper
• Verifiable Outsourcing Computation for Matrix Multiplication With Improved Efficiency and Applicability

  2018cites this paper
• Data Confidentiality and Integrity Preserving Outsourcing Algorithm for System of Linear Equation to a Malicious Cloud Server

  2018cites this paper
• N . Gilboa , Y . Ishai , H . Lin , and

  2018cites this paper
• Securing Fog Computing for Internet of Things Applications: Challenges and Solutions

  2018cites this paper
• Efficiently and securely harnessing cloud to solve linear regression and other matrix operations

  2018cites this paper
• Enhanced Protection Over Data Streams under Multiple Keys in Cloud

  2018cites this paper
• PHOABE: Securely outsourcing multi-authority attribute based encryption with policy hidden for cloud assisted IoT

  2018cites this paper
• Verifiable Outsourced Computation with Full Delegation

  2018cites this paper
• Verifiable Graph Processing

  2018cites this paper
• Foundations of Homomorphic Secret Sharing

  2018cites this paper
• Verifiable Homomorphic Secret Sharing

  2018cites this paper
• Delegating Computations with (Almost) Minimal Time and Space Overhead

  2018cites this paper
• Verifiable Single-Server Private Information Retrieval

  2018cites this paper
• Privacy-preserving verifiable elastic net among multiple institutions in the cloud

  2018cites this paper
• Privacy-Preserving Outsourcing of Large-Scale Nonlinear Programming to the Cloud

  2018cites this paper
• Improved publicly verifiable group sum evaluation over outsourced data streams in IoT setting

  2018cites this paper
• Privacy-Preserving Homomorphic MACs with Efficient Verification

  2018cites this paper
• No-Signaling Linear PCPs

  2018cites this paper