Back to Results
First PageMeta Content
Zero-knowledge proof / Proof of knowledge / Interactive proof system / IP / Soundness / NP / Random oracle / Probabilistically checkable proof / Fiat-Shamir heuristic / Cryptography / Cryptographic protocols / Non-interactive zero-knowledge proof


An extended abstract of this paper is published in the proceedings of the 13th International Conference on Cryptology in India [21] – IndocryptThis is the full version. On the Non-malleability of the Fiat-Shamir
Add to Reading List

Document Date: 2012-12-16 15:16:50


Open Document

File Size: 538,16 KB

Share Result on Facebook

City

Cambridge / Darmstadt / /

Company

Fiat / Microsoft / /

Country

India / /

Currency

pence / /

Event

FDA Phase / /

IndustryTerm

Σ-protocols / non-interactive zero-knowledge protocols / online extraction / simulation-sound Σ-protocol / stronger property modeling online-extraction / non-interactive protocol / Σprotocols / Σ-protocol / interactive proof systems / publiccoin protocols / e-voting / particular identification protocol / stateful algorithm / proof systems / natural Σ-protocols / /

Movie

D.4 / /

Position

extractor / knowledge extractor / special extractor / General / /

Product

AS1 / BHHO / V1 / /

ProgrammingLanguage

FP / C / /

Technology

encryption / simulation-sound Σ-protocol / stateful algorithm / designing public-key encryption / natural Σ-protocols / cryptography / two-party protocol / randomized algorithm / particular identification protocol / underlying encryption / A. Interactive protocols / underlying interactive protocol / turning Σ-protocols / publiccoin protocols / starting protocol / forking algorithm / simulation / PPT algorithms / non-interactive zero-knowledge protocols / digital signature / 4 Σ-Protocol / CCA2-secure encryption / non-interactive protocol / interactive protocol / resulting protocol / /

SocialTag