Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Merav Parte
The Power of Distributed Verifiers in Interactive Proofs
Related publications
Interactive Proofs With Provable Security Against Honest Verifiers
Rational Proofs Against Rational Verifiers
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Electronic Engineering
Computer Graphics
Signal Processing
Applied Mathematics
Electrical
Computer-Aided Design
Verifying Computations With Streaming Interactive Proofs
Proceedings of the VLDB Endowment
Computer Science
Time-Optimal Interactive Proofs for Circuit Evaluation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Publicly Verifiable Non-Interactive Zero-Knowledge Proofs
Minimum-Knowledge Interactive Proofs for Decision Problems
SIAM Journal on Computing
Mathematics
Computer Science
An Interactive Algebra Course With Formalised Proofs and Definitions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Divertible Zero Knowledge Interactive Proofs and Commutative Random Self-Reducibility
On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
