Dual-system simulation-soundness with applications to UC-PAKE and more

DOI10.1007/978-3-662-48797-6_26zbMATH Open1380.94102OpenAlexW2293989480MaRDI QIDQ2811149FDOQ2811149

Authors: Arnab Roy, C. S. Jutla 

Publication date: 10 June 2016

Published in: Advances in Cryptology -- ASIACRYPT 2015 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48797-6_26

Recommendations

• Smooth NIZK arguments
• Relatively-Sound NIZKs and Password-Based Key-Exchange
• Improved (almost) tightly-secure simulation-sound QA-NIZK with applications
• Dual-mode NIZKs from obfuscation
• Compactly hiding linear spans. Tightly secure constant-size simulation-sound QA-NIZK proofs and applications

zbMATH Keywords

bilinear pairingsNIZKSXDHUC-PAKEkeyed-homomorphic encryption

Mathematics Subject Classification ID

Cryptography (94A60)

Cited In (12)

• Smooth NIZK arguments
• Removing erasures with explainable hash proof systems
• Unbounded inner product functional encryption from bilinear maps
• Almost optimal oblivious transfer from QA-NIZK
• More efficient constructions for inner-product encryption
• Chosen ciphertext secure keyed-homomorphic public-key cryptosystems
• Universally composable relaxed password authenticated key exchange
• Shorter quasi-adaptive NIZK proofs for linear subspaces
• On Extension of Evaluation Algorithms in Keyed-Homomorphic Encryption
• Chosen ciphertext secure keyed two-level homomorphic encryption
• Attribute-based keyed fully homomorphic encryption
• Keyed-fully homomorphic encryption without indistinguishability obfuscation

This page was built for publication: Dual-system simulation-soundness with applications to UC-PAKE and more

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