Functional encryption for inner product with full function privacy
From MaRDI portal
Recommendations
Cites work
- A First Step Towards a Unified Proof Checker for QBF
- A SAT attack on the Erdős discrepancy conjecture
- Are good-for-games automata good for probabilistic model checking?
- Certifying algorithms
- Computer-aided proof of Erdős discrepancy properties
- Deterministic generators and games for LTL fragments
- DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs
- Effective translation of LTL to deterministic Rabin automata: beyond the \((\mathrm F,\mathrm G)\)-fragment
- Efficiently checking propositional refutations in HOL theorem provers
- Experiments with deterministic -automata for formulas of linear temporal logic
- Expressing symmetry breaking in DRAT proofs
- Extended Resolution Proofs for Conjoining BDDs
- Extended Resolution Proofs for Symbolic SAT Solving with Quantification
- Extraction in Coq: An Overview
- Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
- Formalization of Abstract State Transition Systems for SAT
- From LTL to Symbolically Represented Deterministic Automata
- scientific article; zbMATH DE number 700091 (Why is no real title available?)
- Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme
- Lazy probabilistic model checking without determinisation
- Limit deterministic and probabilistic automata for \(\mathrm{LTL}\backslash GU\)
- Limit-deterministic Büchi automata for linear temporal logic
- Mechanical verification of SAT refutations with extended resolution
- Optimal Translation of LTL to Limit Deterministic Automata
- Producing and verifying extremely large propositional refutations
- Rabinizer 2: small deterministic automata for \(\mathrm{LTL}_{ \setminus\mathbf{GU}}\)
- Rabinizer 3: Safraless translation of LTL to small deterministic automata
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- Solving Games Without Determinization
- The complexity of probabilistic verification
- Verification, Model Checking, and Abstract Interpretation
Cited in
(80)- Decentralized multi-client functional encryption for inner product
- Practical fully secure unrestricted inner product functional encryption modulo \(p\)
- Function-private functional encryption in the private-key setting
- Function-hiding inner product encryption is practical
- Efficient functional encryption for inner-product values with full-hiding security
- Fully secure functional encryption with a large class of relations from the decisional linear assumption
- Impossibility results for lattice-based functional encryption schemes
- Compact adaptively secure ABE from \(k\)-Lin: beyond \(\mathsf{NC}^1\) and towards \(\mathsf{NL} \)
- Tightly CCA-secure inner product functional encryption scheme
- Chosen ciphertext attacks secure inner-product functional encryption from learning with errors assumption
- Multi-input quadratic functional encryption from pairings
- Attribute-based access control for inner product functional encryption from LWE
- Efficient anonymous multi-group broadcast encryption
- Doubly spatial encryption from DBDH
- FE for inner products and its application to decentralized ABE
- Function private predicate encryption for low min-entropy predicates
- Efficient function-hiding functional encryption: from inner-products to orthogonality
- Unbounded inner-product functional encryption with succinct keys
- A new approach to practical function-private inner product encryption
- Hierarchical functional encryption for linear transformations
- Succinct and adaptively secure ABE for ABP from \(k\)-Lin
- Inner-product functional encryption with fine-grained access control
- Function-hiding inner product encryption
- Fully secure functional encryption for inner products, from standard assumptions
- Function-private identity-based encryption: hiding the function in functional encryption
- Functional encryption from (small) hardware tokens
- Function-private subspace-membership encryption and its applications
- Simple functional encryption schemes for inner products
- On the practical security of inner product functional encryption
- Achieving IND-CCA Security for Functional Encryption for Inner Products
- Functional encryption: definitions and challenges
- GeoENC: geometric area based keys and policies in functional encryption systems
- Functional encryption for public-attribute inner products: achieving constant-size ciphertexts with adaptive security or support for negation
- Functional encryption for inner product predicates from learning with errors
- Private functional encryption: indistinguishability-based definitions and constructions from obfuscation
- Functional encryption for inner product based on matrix
- Efficient inner product encryption with simulation-based security
- Functional encryption for inner product: achieving constant-size ciphertexts with adaptive security or support for negation
- Fully secure functional encryption: attribute-based encryption and (hierarchical) inner product encryption
- Fully secure functional encryption with general relations from the decisional linear assumption
- Functional encryption: origins and recent developments
- On the semantic security of functional encryption schemes
- Adaptive simulation security for inner product functional encryption
- Strongly full-hiding inner product encryption
- Function-private functional encryption in the private-key setting
- CCA-secure inner-product functional encryption from projective hash functions
- Projective arithmetic functional encryption and indistinguishability obfuscation from degree-5 multilinear maps
- Multi-input inner-product functional encryption from pairings
- Tightly secure inner product functional encryption: multi-input and function-hiding constructions
- Unbounded inner product functional encryption from bilinear maps
- Unbounded inner product functional encryption from bilinear maps
- On the optimal succinctness and efficiency of functional encryption and attribute-based encryption
- Hierarchical identity-based inner product functional encryption
- Decentralized multi-authority attribute-based inner-product FE: large universe and unbounded
- (Compact) adaptively secure FE for attribute-weighted sums from \(k\)-lin
- DFE-IP: delegatable functional encryption for inner product
- Unbounded predicate inner product functional encryption from pairings
- Compact FE for unbounded attribute-weighted sums for logspace from SXDH
- (Inner-product) functional encryption with updatable ciphertexts
- A survey on functional encryption
- Efficient lattice-based inner-product functional encryption
- More efficient verifiable functional encryption
- Streaming functional encryption
- Blind Functional Encryption
- Lattice-Based Secure Biometric Authentication for Hamming Distance
- Publicly auditable functional encryption
- Fine-grained polynomial functional encryption
- Registered (inner-product) functional encryption
- Improved unbounded inner-product functional encryption
- Compact \textsf{FE} for unbounded attribute-weighted sums for logspace from \textsf{SXDH}
- Lower bounds for lattice-based compact functional encryption
- Registered functional encryptions from pairings
- Tightly secure inner-product functional encryption revisited: compact, lattice-based, and more
- Simulation secure multi-input quadratic functional encryption: applications to differential privacy
- A simple inner-product functional encryption scheme from the inverse-DDH assumption
- Registered FE beyond predicates: (attribute-based) linear functions and more
- Simulation secure multi-input quadratic functional encryption
- Securing data in the cloud using pairing-free inner product functional encryption with unbounded vector size
- Traceable inner product functional encryption
- Post-quantum secure inner product functional encryption using multivariate public key cryptography
This page was built for publication: Functional encryption for inner product with full function privacy
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798775)
