„Interactive proofs“

Suchergebnisse

85 Treffer

• Verifiable Random Functions from Non-interactive Witness-Indistinguishable Proofs
  Bitansky, Nir
• Human interactive proofs – second international workshop ; proceedings
  Baird, Henry S. 2005 Springer
• Logic and its applications – 5th Indian conference ; proceedings
  Lodaya, Kamal 2013 Springer
• Understanding the development of the proving process – suggestions for teaching proofs within a dynamic geometry environment
  Nguyen, Danh-Nam 2012 Kovač
• Non-interactive proofs of proximity
  Gur, Tom ; Rothblum, Ron D.