NIWI and new notions of extraction for algebraic languages

DOI10.1007/978-3-031-14791-3_30OpenAlexW4294698948MaRDI QIDQ6134854FDOQ6134854

Authors: Chaya Ganesh, Hamidreza Khoshakhlagh, Roberto Parisella 

Publication date: 25 July 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-14791-3_30

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Theory of computing (68Qxx) Authentication, digital signatures and secret sharing (94A62)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The knowledge complexity of interactive proof-systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advances in Cryptology - CRYPTO 2003
• P-signatures and Noninteractive Anonymous Credentials
• Efficient Non-interactive Proof Systems for Bilinear Groups
• Zero-knowledge proofs of identity
• Practical adaptive oblivious transfer from simple assumptions
• Title not available (Why is that?)
• Zaps and Their Applications
• Separating succinct non-interactive arguments from all falsifiable assumptions
• Quasi-adaptive NIZK for linear subspaces revisited
• Advances in Cryptology - CRYPTO 2003
• New techniques for noninteractive zero-knowledge
• The algebraic group model and its applications
• Marlin: preprocessing zkSNARKs with universal and updatable SRS
• Unprovable security of perfect NIZK and non-interactive non-malleable commitments
• Stretching Groth-Sahai: NIZK proofs of partial satisfiability
• A subversion-resistant SNARK
• On QA-NIZK in the BPK model
• Short accountable ring signatures based on DDH
• Structure-preserving and re-randomizable RCCA-secure public key encryption and its applications
• On instantiating the algebraic group model from falsifiable assumptions
• Shorter non-interactive zero-knowledge arguments and ZAPs for algebraic languages
• Algebraic distinguishers: from discrete logarithms to decisional Uber assumptions
• Universally Composable Adaptive Priced Oblivious Transfer
• Revocation for delegatable anonymous credentials
• Block-wise P-signatures and non-interactive anonymous credentials with efficient attributes
• NIWI and new notions of extraction for algebraic languages

Cited In (4)

• NIWI and new notions of extraction for algebraic languages
• On black-box knowledge-sound commit-and-prove SNARKs
• On the impossibility of algebraic NIZK in pairing-free groups
• Efficient succinct zero-knowledge arguments in the CL framework

This page was built for publication: NIWI and new notions of extraction for algebraic languages

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