How to run Turing machines on encrypted data
From MaRDI portal
Recommendations
Cited in
(64)- Bounded functional encryption for Turing machines: adaptive security from general assumptions
- Duality in ABE: Converting Attribute Based Encryption for Dual Predicate and Dual Policy via Computational Encodings
- Signature-based witness encryption with compact ciphertext
- Cryptographic agents: towards a unified theory of computing on encrypted data
- Towards witness encryption without multilinear maps
- Knowledge encryption and its applications to simulatable protocols with low round-complexity
- Universally composable auditable surveillance
- Extractable witness encryption for KZG commitments and efficient laconic OT
- Mild asymmetric message franking: illegal-messages-only and retrospective content moderation
- Offline witness encryption with semi-adaptive security
- The pseudorandom oracle model and ideal obfuscation
- Function-private functional encryption in the private-key setting
- Fully secure functional encryption for inner products, from standard assumptions
- KDM security for the Fujisaki-Okamoto transformations in the QROM
- Forward-secure public key encryption without key update from proof-of-stake blockchain
- FE and iO for Turing machines from minimal assumptions
- How to build time-lock encryption
- Publicly verifiable deletion from minimal assumptions
- Witness encryption from smooth projective hashing system
- Oblivious parallel RAM and applications
- How to avoid obfuscation using witness PRFs
- Fully homomorphic encryption with auxiliary inputs
- Privacy-preserving verifiable delegation of polynomial and matrix functions
- Patchable indistinguishability obfuscation: \(i\mathcal {O}\) for evolving software
- Private polynomial commitments and applications to MPC
- Garbled circuits as randomized encodings of functions: a primer
- Flexible and efficient verifiable computation on encrypted data
- Multiparty non-interactive key exchange and more from isogenies on elliptic curves
- Turing machines with shortcuts: efficient attribute-based encryption for bounded functions
- ABE for circuits with constant-size secret keys and adaptive security
- Explainable arguments
- Laconic function evaluation for Turing machines
- Succinct witness encryption for batch languages and applications
- Pseudorandom FE, iO and applications
- Compact \textsf{FE} for unbounded attribute-weighted sums for logspace from \textsf{SXDH}
- Bilinear entropy expansion from the decisional linear assumption
- Secure multiparty RAM computation in constant rounds
- Compact adaptively secure ABE from \(k\)-Lin: beyond \(\mathsf{NC}^1\) and towards \(\mathsf{NL} \)
- New ways to garble arithmetic circuits
- How to use (plain) witness encryption: registered ABE, flexible broadcast, and more
- Attribute based encryption for deterministic finite automata from DLIN
- FE for inner products and its application to multi-authority ABE
- Garbled circuits with sublinear evaluator
- Predictable arguments of knowledge
- Storing and retrieving secrets on a blockchain
- Practical witness encryption for algebraic languages or how to encrypt under Groth-Sahai proofs
- Boosting verifiable computation on encrypted data
- A framework for witness encryption from linearly verifiable SNARKs and applications
- Key-homomorphic computations for RAM: fully succinct randomised encodings and more
- Homomorphic encryption
- Dynamic collusion functional encryption and multi-authority attribute-based encryption
- A general framework for lattice-based ABE using evasive inner-product functional encryption
- Chosen-Ciphertext Secure Multi-identity and Multi-attribute Pure FHE
- On the optimal succinctness and efficiency of functional encryption and attribute-based encryption
- Secure multi-party computation in large networks
- On the implausibility of differing-inputs obfuscation and extractable witness encryption with auxiliary input
- Faster ABE for Turing machines from circular evasive LWE
- Quantum encryption with certified deletion, revisited: public key, attribute-based, and classical communication
- A simple inner-product functional encryption scheme from the inverse-DDH assumption
- Strongly full-hiding inner product encryption
- Functional encryption for Turing machines with dynamic bounded collusion from LWE
- Encoding functions with constant online rate, or how to compress garbled circuit keys
- Decentralized multi-client functional encryption for inner product
- Practical fully secure unrestricted inner product functional encryption modulo \(p\)
This page was built for publication: How to run Turing machines on encrypted data
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849418)