CCA-secure keyed-fully homomorphic encryption

DOI10.1007/978-3-662-49384-7_4MaRDI QIDQ2798772zbMATH OpenOpenAlexFDO

Authors Junzuo Lai, Robert H. Deng, Chang-she Ma, Kouichi Sakurai, Jian Weng

Publication date 13 April 2016

Published in Public-Key Cryptography – PKC 2016 (Search for Journal in Brave)

Full work available at URL https://ink.library.smu.edu.sg/sis_research/3352

zbMATH Keywords

chosen ciphertext securityconvertible identity-based fully homomorphic encryptionfully homomorphic encryption

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Keyed-fully homomorphic encryption without indistinguishability obfuscation
• On Extension of Evaluation Algorithms in Keyed-Homomorphic Encryption
• Chosen ciphertext secure keyed-homomorphic public-key cryptosystems
• Chosen ciphertext secure keyed-homomorphic public-key encryption
• Chosen-Ciphertext Secure Fully Homomorphic Encryption

Cites work

• Checking and enforcing robustness against TSO
• Counter-Example Guided Fence Insertion under TSO
• Effective Abstractions for Verification under Relaxed Memory Models
• Effective Program Verification for Relaxed Memory Models
• Efficient Identity-Based Encryption Without Random Oracles
• Explaining relaxed memory models with program transformations
• Faster fully homomorphic encryption
• Fully homomorphic encryption over the integers
• Fully homomorphic encryption with relatively small key and ciphertext sizes
• How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
• How to use indistinguishability obfuscation
• scientific article; zbMATH DE number 176565 (Why is no real title available?)
• On lattices, learning with errors, random linear codes, and cryptography
• Reducing concurrent analysis under a context bound to sequential analysis
• Reducing Context-Bounded Concurrent Reachability to Sequential Reachability
• Robustness against Power is PSpace-complete
• Software verification for weak memory via program transformation
• Sound and complete monitoring of sequential consistency for relaxed memory models
• Stateless model checking for TSO and PSO
• The benefits of duality in verifying concurrent programs under TSO
• Tools and Algorithms for the Construction and Analysis of Systems
• Tools and Algorithms for the Construction and Analysis of Systems
• Verification of Concurrent Programs on Weak Memory Models

Cited in

(19)

• Chosen ciphertext secure keyed-homomorphic public-key cryptosystems
• Saber: module-LWR based key exchange, CPA-secure encryption and CCA-secure KEM
• Predicate fully homomorphic encryption: achieving fine-grained access control over manipulable ciphertext
• Keyed-fully homomorphic encryption without indistinguishability obfuscation
• CCA-secure ABE using tag and pair encoding
• Analysis of Gong et al.'s CCA2-secure homomorphic encryption
• CCA-secure (puncturable) KEMs from encryption with non-negligible decryption errors
• On CCA-Secure Somewhat Homomorphic Encryption
• KDM-CCA Security from RKA Secure Authenticated Encryption
• Chosen ciphertext secure keyed-homomorphic public-key encryption
• CCA-Secure and Revocable Certificateless Encryption with Ciphertext Evolution
• Chosen ciphertext secure keyed two-level homomorphic encryption
• Achievable \textsf{CCA2} relaxation for homomorphic encryption
• On Extension of Evaluation Algorithms in Keyed-Homomorphic Encryption
• Fully homomorphic encryption beyond IND-CCA1 security: integrity through verifiability
• Attribute-based keyed fully homomorphic encryption
• Leveraging small message spaces for cca1 security in additively homomorphic and bgn-type encryption
• A new construction of keyed-FHE without zk-SNARK for homomorphic evaluation
• Tagged-FHE: strong syntax, stronger security, and standard model

This page was built for publication: CCA-secure keyed-fully homomorphic encryption

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798772)