Extended Nested Dual System Groups, Revisited

DOI10.1007/978-3-662-49384-7_6zbMath1388.94057OpenAlexW2294850982MaRDI QIDQ2798774

Junqing Gong, Jie Chen, Shaohua Tang, Xiao-lei Dong, Zhen Fu Cao

Publication date: 13 April 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-662-49384-7_6

zbMATH Keywords

security modeltight securityprime-order bilinear groupsdual system groupsidentity based encryptions

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (14)

Hierarchical Identity-Based Encryption with Tight Multi-challenge Security ⋮ Almost Tight Security in Lattices with Polynomial Moduli – PRF, IBE, All-but-many LTF, and More ⋮ New Proof for BKP IBE Scheme and Improvement in the MIMC Setting ⋮ Short, invertible elements in partially splitting cyclotomic rings and applications to lattice-based zero-knowledge proofs ⋮ Tightly CCA-secure identity-based encryption with ciphertext pseudorandomness ⋮ Efficient IBE with Tight Reduction to Standard Assumption in the Multi-challenge Setting ⋮ Leakage-resilient \textsf{IBE}/\textsf{ABE} with optimal leakage rates from lattices ⋮ Identity-based encryption with (almost) tight security in the multi-instance, multi-ciphertext setting ⋮ Unbounded HIBE with tight security ⋮ Tightly CCA-secure encryption scheme in a multi-user setting with corruptions ⋮ Improved inner-product encryption with adaptive security and full attribute-hiding ⋮ Tightly Secure IBE Under Constant-Size Master Public Key ⋮ Short tightly secure signatures for signing a vector of group elements: a new approach ⋮ Adaptive Partitioning

Cites Work

• Unnamed Item
• Unnamed Item
• Limits indexed by category-valued 2-functors
• Online timed pattern matching using derivatives
• Analyzing program termination and complexity automatically with \textsf{AProVE}
• A brief account of runtime verification
• Bounded variability of metric temporal logic
• Monitoring Metric First-Order Temporal Properties
• Policy Iteration-Based Conditional Termination and Ranking Functions
• Loop Summarization and Termination Analysis
• Proving non-termination
• Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
• Constrained Term Rewriting tooL
• Comparing LTL Semantics for Runtime Verification
• Alternation for Termination
• A Programming Language for Spatial Distribution of Net Systems
• Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
• Non-termination Checking for Imperative Programs
• Formal Modeling and Analysis of Timed Systems
• Verification, Model Checking, and Abstract Interpretation

This page was built for publication: Extended Nested Dual System Groups, Revisited