„Interactive proofs“

Suchergebnisse

1.000+ Treffer

• Simple Doubly-Efficient Interactive Proof Systems for Locally-Characterizable Sets
  Goldreich, Oded ; Rothblum, Guy N. 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Structured specifications and interactive proofs with KIV
  Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt ; Balser, Michael ; Bibel, Wolfgang ; Schmitt, Peter H. 1998 Universität Augsburg
• Randomness in interactive proofs
  Bellare, Mihir ; Goldreich, Oded ; Goldwasser, Shafi
• Interactive correctness proofs for software modules using KIV
  Reif, Wolfgang ; Schellhorn, Gerhard ; Stenzel, Kurt 1995 Universität Augsburg
• Logic and Its Applications – 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings
  Lodaya, Kamal 2013 Springer Berlin Heidelberg
• Human Interactive Proofs – Second International Workshop, HIP 2005, Bethlehem, PA, USA, May 19-20, 2005. Proceedings
  Baird, Henry S. 2005 Springer Berlin Heidelberg
• New Distributed Interactive Proofs for Planarity: A Matter of Left and Right
  Gil, Yuval ; Parter, Merav 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Study of Statistical Zero-Knowledge Proofs
  Vadhan, Salil P. 2041 Springer Berlin
• Automatically Generalizing Proofs and Statements
  Gandhi, Anshula ; Tadipatri, Anand Rao ; Gowers, Timothy 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Security of fixed-weight repetitions of special-sound multi-round interactive proofs
  Battagliola, Michele ; Longo, Riccardo ; Pintore, Federico ; Signorini, Edoardo ; Tognolini, Giovanni
• Space-Bounded Quantum Interactive Proof Systems
  Le Gall, François ; Liu, Yupan ; Nishimura, Harumichi ; Wang, Qisheng 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Verifiable Stream Computation and Arthur–Merlin Communication
  Chakrabarti, Amit ; Cormode, Graham ; McGregor, Andrew ; Thaler, Justin ; Venkatasubramanian, Suresh 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On interactive proofs with a laconic prover
  Goldreich, Oded ; Vadhan, Salil ; Wigderson, Avi
• Trade-Offs in Distributed Interactive Proofs
  Crescenzi, Pierluigi ; Fraigniaud, Pierre ; Paz, Ami 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Public Coin Interactive Proofs for Label-Invariant Distribution Properties
  Herman, Tal 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distributed Parallel Build for the Isabelle Archive of Formal Proofs
  Huch, Fabian ; Wenzel, Makarius 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Communication Complexity vs Randomness Complexity in Interactive Proofs
  Applebaum, Benny ; Bhushan, Kaartik ; Prabhakaran, Manoj 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Computational Advantage of MIP^∗ Vanishes in the Presence of Noise
  Dong, Yangjing ; Fu, Honghao ; Natarajan, Anand ; Qin, Minglong ; Xu, Haochen ; Yao, Penghui 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Distribution-Free Proofs of Proximity
  Aaronson, Hugo ; Gur, Tom ; Rajgopal, Ninad ; Rothblum, Ron D. 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Interactive Proofs for Synthesizing Quantum States and Unitaries
  Rosenthal, Gregory ; Yuen, Henry 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik