Multi-server verifiable delegation of computations: unconditional security and practical efficiency (Q2051777): Difference between revisions

@@ Property / DOI @@
-.1016/j.ic.2021.104740
@@ Property / DOI: 10.1016/j.ic.2021.104740 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Pinocchio
@@ Property / describes a project that uses: Pinocchio / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3135268205
@@ Property / OpenAlex ID: W3135268205 / rank @@
+Normal rank
@@ Property / cites work @@
+Achieving Privacy in Verifiable Computation with Multiple Servers – Without FHE and without Pre-processing
+Normal rank
@@ Property / cites work @@
+From Secrecy to Soundness: Efficient Verification via Secure Computation
+Normal rank
@@ Property / cites work @@
+Delegatable Homomorphic Encryption with Applications to Secure Outsourcing of Computation
+Normal rank
@@ Property / cites work @@
+Q4536794
@@ Property / cites work: Q4536794 / rank @@
+Normal rank
@@ Property / cites work @@
+Verifiable Delegation of Computation over Large Datasets
+Normal rank
@@ Property / cites work @@
+From extractable collision resistance to succinct non-interactive arguments of knowledge, and back again
+Normal rank
@@ Property / cites work @@
+Fully Homomorphic Encryption from Ring-LWE and Security for Key Dependent Messages
+Normal rank
@@ Property / cites work @@
+Two Protocols for Delegation of Computation
@@ Property / cites work: Two Protocols for Delegation of Computation / rank @@
+Normal rank
@@ Property / cites work @@
+Practical Homomorphic MACs for Arithmetic Circuits
+Normal rank
@@ Property / cites work @@
+Algebraic (Trapdoor) One-Way Functions and Their Applications
+Normal rank
@@ Property / cites work @@
+Q4231909
@@ Property / cites work: Q4231909 / rank @@
+Normal rank
@@ Property / cites work @@
+Memory Delegation
@@ Property / cites work: Memory Delegation / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Delegation of Computation Using Fully Homomorphic Encryption
+Normal rank
@@ Property / cites work @@
+Non-interactive Verifiable Computing: Outsourcing Computation to Untrusted Workers
+Normal rank
@@ Property / cites work @@
+Quadratic Span Programs and Succinct NIZKs without PCPs
+Normal rank
@@ Property / cites work @@
+Fully homomorphic encryption using ideal lattices
@@ Property / cites work: Fully homomorphic encryption using ideal lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Q3549691
@@ Property / cites work: Q3549691 / rank @@
+Normal rank
@@ Property / cites work @@
+The Knowledge Complexity of Interactive Proof Systems
+Normal rank
@@ Property / cites work @@
+Leveled Fully Homomorphic Signatures from Standard Lattices
+Normal rank
@@ Property / cites work @@
+Homomorphic Authenticated Encryption Secure against Chosen-Ciphertext Attack
+Normal rank
@@ Property / cites work @@
+Q4343444
@@ Property / cites work: Q4343444 / rank @@
+Normal rank
@@ Property / cites work @@
+Linearly Homomorphic Structure-Preserving Signatures and Their Applications
+Normal rank
@@ Property / cites work @@
+Signatures of Correct Computation
@@ Property / cites work: Signatures of Correct Computation / rank @@
+Normal rank
@@ Property / cites work @@
+How to Delegate and Verify in Public: Verifiable Computation from Attribute-Based Encryption
+Normal rank
@@ Property / cites work @@
+Time-Optimal Interactive Proofs for Circuit Evaluation
+Normal rank
@@ Property / DOI @@
+.1016/J.IC.2021.104740
@@ Property / DOI: 10.1016/J.IC.2021.104740 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2051777