Resettable zero-knowledge (extended abstract)

Concurrent and resettable zero-knowledge in poly-loalgorithm rounds

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing

Black-box concurrent zero-knowledge requires \tilde {Ω} (logn) rounds

STOC '01 Proceedings of the thirty-third annual ACM symposium on Theory of computing

2-round zero knowledge and proof auditors

STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing

Concurrent zero-knowledge with timing, revisited

STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing

Strict polynomial-time in simulation and extraction

STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing

One-Round Secure Computation and Secure Autonomous Mobile Agents

ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming

An Identification Scheme Provably Secure against Reset Attack

ICICS '01 Proceedings of the Third International Conference on Information and Communications Security

(2+ f(n))-SAT and Its Properties

COCOON '02 Proceedings of the 8th Annual International Conference on Computing and Combinatorics

A Note on the Round-Complexity of Concurrent Zero-Knowledge

CRYPTO '00 Proceedings of the 20th Annual International Cryptology Conference on Advances in Cryptology

Soundness in the Public-Key Model

CRYPTO '01 Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology

GQ and Schnorr Identification Schemes: Proofs of Security against Impersonation under Active and Concurrent Attacks

CRYPTO '02 Proceedings of the 22nd Annual International Cryptology Conference on Advances in Cryptology

Min-round Resettable Zero-Knowledge in the Public-Key Model

EUROCRYPT '01 Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques: Advances in Cryptology

Identification Protocols Secure against Reset Attacks

EUROCRYPT '01 Proceedings of the International Conference on the Theory and Application of Cryptographic Techniques: Advances in Cryptology

Never Trust Victor: An Alternative Resettable Zero-Knowledge Proof System

INDOCRYPT '02 Proceedings of the Third International Conference on Cryptology: Progress in Cryptology

Responsive Round Complexity and Concurrent Zero-Knowledge

ASIACRYPT '01 Proceedings of the 7th International Conference on the Theory and Application of Cryptology and Information Security: Advances in Cryptology

(2 +f(n))-SAT and its properties

Discrete Applied Mathematics - Discrete mathematics and theoretical computer science (DMTCS)

Bounded-concurrent secure multi-party computation with a dishonest majority

STOC '04 Proceedings of the thirty-sixth annual ACM symposium on Theory of computing

Concurrent zero-knowledge

Journal of the ACM (JACM)

How To Play Almost Any Mental Game Over The Net - Concurrent Composition via Super-Polynomial Simulation

FOCS '05 Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science

Lower bounds for non-black-box zero knowledge

Journal of Computer and System Sciences - Special issue on FOCS 2003

Generic and Practical Resettable Zero-Knowledge in the Bare Public-Key Model

EUROCRYPT '07 Proceedings of the 26th annual international conference on Advances in Cryptology

Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability

EUROCRYPT '07 Proceedings of the 26th annual international conference on Advances in Cryptology

Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption

Information Security and Cryptology

Constant-Round Concurrent Non-malleable Zero Knowledge in the Bare Public-Key Model

ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II

Improved Security Notions and Protocols for Non-transferable Identification

ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security

Zero-Knowledge Proofs with Witness Elimination

Irvine Proceedings of the 12th International Conference on Practice and Theory in Public Key Cryptography: PKC '09

Resettably Secure Computation

EUROCRYPT '09 Proceedings of the 28th Annual International Conference on Advances in Cryptology: the Theory and Applications of Cryptographic Techniques

Co-sound Zero-Knowledge with Public Keys

AFRICACRYPT '09 Proceedings of the 2nd International Conference on Cryptology in Africa: Progress in Cryptology

Minimal Assumptions and Round Complexity for Concurrent Zero-Knowledge in the Bare Public-Key Model

COCOON '09 Proceedings of the 15th Annual International Conference on Computing and Combinatorics

Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model

CSR '09 Proceedings of the Fourth International Computer Science Symposium in Russia on Computer Science - Theory and Applications

IC card-based single sign-on system that remains secure under card analysis

Proceedings of the 5th ACM workshop on Digital identity management

Identity-Based Identification Scheme Secure against Concurrent-Reset Attacks without Random Oracles

Information Security Applications

Efficient concurrent zero-knowledge in the auxiliary string model

EUROCRYPT'00 Proceedings of the 19th international conference on Theory and application of cryptographic techniques

Lower bounds for non-interactive zero-knowledge

TCC'07 Proceedings of the 4th conference on Theory of cryptography

On expected probabilistic polynomial-time adversaries: a suggestion for restricted definitions and their benefits

TCC'07 Proceedings of the 4th conference on Theory of cryptography

Resettable zero-knowledge in the weak public-key model

EUROCRYPT'03 Proceedings of the 22nd international conference on Theory and applications of cryptographic techniques

Simulatable commitments and efficient concurrent zero-knowledge

EUROCRYPT'03 Proceedings of the 22nd international conference on Theory and applications of cryptographic techniques

Simulation in quasi-polynomial time, and its application to protocol composition

EUROCRYPT'03 Proceedings of the 22nd international conference on Theory and applications of cryptographic techniques

Reduction zero-knowledge

SCN'02 Proceedings of the 3rd international conference on Security in communication networks

A new notion of soundness in bare public-key model

SCN'02 Proceedings of the 3rd international conference on Security in communication networks

New constructions for UC secure computation using tamper-proof hardware

EUROCRYPT'08 Proceedings of the theory and applications of cryptographic techniques 27th annual international conference on Advances in cryptology

Online-untransferable signatures

PKC'08 Proceedings of the Practice and theory in public key cryptography, 11th international conference on Public key cryptography

On constant-round concurrent zero-knowledge

TCC'08 Proceedings of the 5th conference on Theory of cryptography

Concurrent knowledge extraction in the public-key model

ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming

Interactive locking, zero-knowledge PCPs, and unconditional cryptography

CRYPTO'10 Proceedings of the 30th annual conference on Advances in cryptology

Concurrent non-malleable zero knowledge proofs

CRYPTO'10 Proceedings of the 30th annual conference on Advances in cryptology

Impossibility results for RFID privacy notions

Transactions on computational science XI

Limits of provable security from standard assumptions

Proceedings of the forty-third annual ACM symposium on Theory of computing

A new RFID privacy model

ESORICS'11 Proceedings of the 16th European conference on Research in computer security

Efficient zero knowledge on the internet

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

An efficient compiler from Σ-protocol to 2-move deniable zero-knowledge

ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II

Concurrent zero knowledge in the public-key model

ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming

On the necessary and sufficient assumptions for UC computation

TCC'10 Proceedings of the 7th international conference on Theory of Cryptography

Two is a crowd? a black-box separation of one-wayness and security under correlated inputs

TCC'10 Proceedings of the 7th international conference on Theory of Cryptography

Founding cryptography on tamper-proof hardware tokens

TCC'10 Proceedings of the 7th international conference on Theory of Cryptography

Efficiency preserving transformations for concurrent non-malleable zero knowledge

TCC'10 Proceedings of the 7th international conference on Theory of Cryptography

Efficient proofs of knowledge of discrete logarithms and representations in groups with hidden order

PKC'05 Proceedings of the 8th international conference on Theory and Practice in Public Key Cryptography

Handling expected polynomial-time strategies in simulation-based security proofs

TCC'05 Proceedings of the Second international conference on Theory of Cryptography

Impossibility and feasibility results for zero knowledge with public keys

CRYPTO'05 Proceedings of the 25th annual international conference on Advances in Cryptology

Tracing-by-linking group signatures

ISC'05 Proceedings of the 8th international conference on Information Security

On the impossibility of three-move blind signature schemes

EUROCRYPT'10 Proceedings of the 29th Annual international conference on Theory and Applications of Cryptographic Techniques

Constant-Round non-malleable commitments from sub-exponential one-way functions

EUROCRYPT'10 Proceedings of the 29th Annual international conference on Theory and Applications of Cryptographic Techniques

Concurrent zero-knowledge with timing, revisited

Theoretical Computer Science

BGN authentication and its extension to convey message commitments

ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part III

Unclonable group identification

EUROCRYPT'06 Proceedings of the 24th annual international conference on The Theory and Applications of Cryptographic Techniques

Resettable public-key encryption: how to encrypt on a virtual machine

CT-RSA'10 Proceedings of the 2010 international conference on Topics in Cryptology

Interactive zero-knowledge with restricted random oracles

TCC'06 Proceedings of the Third conference on Theory of Cryptography

Non-interactive zero-knowledge from homomorphic encryption

TCC'06 Proceedings of the Third conference on Theory of Cryptography

Resettable cryptography in constant rounds --- the case of zero knowledge

ASIACRYPT'11 Proceedings of the 17th international conference on The Theory and Application of Cryptology and Information Security

Program obfuscation with leaky hardware

ASIACRYPT'11 Proceedings of the 17th international conference on The Theory and Application of Cryptology and Information Security

BiTR: built-in tamper resilience

ASIACRYPT'11 Proceedings of the 17th international conference on The Theory and Application of Cryptology and Information Security

Authenticated key exchange under bad randomness

FC'11 Proceedings of the 15th international conference on Financial Cryptography and Data Security

On efficient zero-knowledge PCPs

TCC'12 Proceedings of the 9th international conference on Theory of Cryptography

Counterexamples to hardness amplification beyond negligible

TCC'12 Proceedings of the 9th international conference on Theory of Cryptography

Resettable statistical zero knowledge

TCC'12 Proceedings of the 9th international conference on Theory of Cryptography

Simultaneously resettable arguments of knowledge

TCC'12 Proceedings of the 9th international conference on Theory of Cryptography

On round-optimal zero knowledge in the bare public-key model

EUROCRYPT'12 Proceedings of the 31st Annual international conference on Theory and Applications of Cryptographic Techniques

On the Composition of Public-Coin Zero-Knowledge Protocols

SIAM Journal on Computing

Nearly simultaneously resettable black-box zero knowledge

ICALP'12 Proceedings of the 39th international colloquium conference on Automata, Languages, and Programming - Volume Part I

Efficient ID-based non-malleable trapdoor commitment

Computers and Electrical Engineering

A leakage-resilient zero knowledge proof for lattice problem

CSS'12 Proceedings of the 4th international conference on Cyberspace Safety and Security

Concurrent zero knowledge in the bounded player model

TCC'13 Proceedings of the 10th theory of cryptography conference on Theory of Cryptography

Languages with efficient zero-knowledge PCPs are in SZK

TCC'13 Proceedings of the 10th theory of cryptography conference on Theory of Cryptography

Implementing resettable UC-Functionalities with untrusted tamper-proof hardware-tokens

TCC'13 Proceedings of the 10th theory of cryptography conference on Theory of Cryptography

Non-black-box simulation from one-way functions and applications to resettable security

Proceedings of the forty-fifth annual ACM symposium on Theory of computing

On the impossibility of approximate obfuscation and applications to resettable cryptography

Proceedings of the forty-fifth annual ACM symposium on Theory of computing