Skip to contents

Furch, Andreas [Author]

Interaktive Beweissysteme, ihre Eigenschaften und deren Verhalten unter Komposition - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Clausthal-Zellerfeld: Papierflieger, 1998
Boyen, Xavier [Editor]; Chen, Xiaofeng [Other] ; ProvSec 5 2011 Xi'an

Provable security : 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6980
Jouannaud, Jean-Pierre [Editor]; Shao, Zhong [Other] ; CPP 1 2011 Kending

Certified programs and proofs : First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7086
Eekelen, Marko van [Editor] ; ITP 2 2011 Berg en Dal

Interactive theorem proving : second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6898
Arvind, Vikraman [Author]; Köbler, Johannes [Author]; Schuler, Rainer [Author]

On helping and interactive proof systems

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Ulm: Univ., Fak. für Informatik, 1994

Published in: Ulmer Informatik-Berichte ; 94,05
Paulson, Lawrence C. [Author]

Logic and computation : interactive proof with Cambridge LCF - [1. paperback ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1990

Published in: Cambridge tracts in theoretical computer science ; 2.1990
Horn, Christian [Author]

Interactive program and proof development with NurPRL

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin: Sektion Mathematik der Humboldt-Univ. zu Berlin, 1988

Published in: Humboldt-Universität zu Berlin: Seminarberichte ; 97
Baird, Henry S. [Editor] ; HIP 2 2005 Bethlehem, Pa. Lehigh University, Bethlehem, Pa., Department of Computer Science and Engineering

Human interactive proofs : second international workshop, HIP 2005, Bethlehem, PA, USA, May 19 - 20, 2005 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2005

Published in: Lecture notes in computer science ; 3517
Allender, Eric [Author]; Gray, Jacob [Author]; Mutreja, Saachi [Author]; Tirumala, Harsha [Author]; Wang, Pengxiang [Author] ; Eric Allender and Jacob Gray and Saachi Mutreja and Harsha Tirumala and Pengxiang Wang [Contributor]

Robustness for Space-Bounded Statistical Zero Knowledge

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Leshkowitz, Maya [Author] ; Maya Leshkowitz [Contributor]

Round Complexity Versus Randomness Complexity in Interactive Proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Goldreich, Oded [Author]; Rothblum, Guy N. [Author] ; Oded Goldreich and Guy N. Rothblum [Contributor]

Simple Doubly-Efficient Interactive Proof Systems for Locally-Characterizable Sets

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Allender, Eric [Author]; Hirahara, Shuichi [Author]; Tirumala, Harsha [Author] ; Eric Allender and Shuichi Hirahara and Harsha Tirumala [Contributor]

Kolmogorov Complexity Characterizes Statistical Zero Knowledge

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Goldwasser, Shafi [Author]; Grossman, Ofer [Author]; Holden, Dhiraj [Author] ; Shafi Goldwasser and Ofer Grossman and Dhiraj Holden [Contributor]

Pseudo-Deterministic Proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
Applebaum, Benny [Author]; Golombek, Eyal [Author] ; Benny Applebaum and Eyal Golombek [Contributor]

On the Randomness Complexity of Interactive Proofs and Statistical Zero-Knowledge Proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Vidick, Thomas [Author] ; Thomas Vidick [Contributor]

Quantum Codes, Local Testability and Interactive Proofs: State of the Art and Open Questions (Invited Talk)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023
Arnon, Gal [Author]; Rothblum, Guy N. [Author] ; Gal Arnon and Guy N. Rothblum [Contributor]

On Prover-Efficient Public-Coin Emulation of Interactive Proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Cormode, Graham [Author]; Hickey, Chris [Author] ; Graham Cormode and Chris Hickey [Contributor]

Efficient Interactive Proofs for Linear Algebra

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Crescenzi, Pierluigi [Author]; Fraigniaud, Pierre [Author]; Paz, Ami [Author] ; Pierluigi Crescenzi and Pierre Fraigniaud and Ami Paz [Contributor]

Trade-Offs in Distributed Interactive Proofs

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Ben-Sasson, Eli [Author]; Chiesa, Alessandro [Author]; Gabizon, Ariel [Author]; Riabzev, Michael [Author]; Spooner, Nicholas [Author] ; Eli Ben-Sasson and Alessandro Chiesa and Ariel Gabizon and Michael Riabzev and Nicholas Spooner [Contributor]

Interactive Oracle Proofs with Constant Rate and Query Complexity

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2017
Goldreich, Oded [Author]; Rothblum, Guy N. [Author]; Skverer, Tal [Author] ; Oded Goldreich and Guy N. Rothblum and Tal Skverer [Contributor]

On Interactive Proofs of Proximity with Proof-Oblivious Queries

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication