195 search results - page 1 / 39 » Security and Privacy Using One-Round Zero-Knowledge Proofs |
WECWIS
2005
IEEE
13 years 10 months ago
2005
IEEE
A zero-knowledge proof (ZKP) is an interactive proof that allows a prover to prove the knowledge of a secret to a verifier without revealing it. ZKPs are powerful tools to deal wi...
PROVSEC
2007
Springer
13 years 11 months ago
2007
Springer
ACISP
2008
Springer
13 years 6 months ago
2008
Springer
We consider one-round key exchange protocols secure in the standard model. The security analysis uses the powerful security model of Canetti and Krawczyk and a natural extension of...
SP
2008
IEEE
13 years 3 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
FOCS
1999
IEEE
13 years 9 months ago
1999
IEEE
We introduce the notion of non-malleable noninteractive zero-knowledge (NIZK) proof systems. We show how to transform any ordinary NIZK proof system into one that has strong non-m...