Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • Suche: "INTERACTIVE proof methods"

Treffer 1 - 20 von 81

1

Proving Grounds.
Wright, Alex
Communications of the ACM. May2013, Vol. 56 Issue 5, p17-19. 3p. 1 Color Photograph.

QUANTUM computing CRYPTOGRAPHY COMPUTER security COMPUTER network protoco... MATHEMATICAL models COMPUTER systems …
Zeitschrift
Zu den Favoriten
2

A PARALLEL REPETITION THEOREM FOR ANY INTERACTIVE ARGUMENT.
HAITNER, IFTACH
SIAM Journal on Computing. 2013, Vol. 42 Issue 6, p2487-2501. 15p.

MACHINE theory INTERACTIVE proof method... PROOF theory MATHEMATICAL logic COMPUTATIONAL complexity
Fachzeitschrift
Zu den Favoriten
3

Interactive proofs with quantum finite automata.
Nishimura, Harumichi ; Yamakami, Tomoyuki
Theoretical Computer Science. Feb2015, Vol. 568, p1-18. 18p.

INTERACTIVE proof method... FINITE state machines QUANTUM computers PROBABILITY theory COMPUTER systems
Fachzeitschrift
Zu den Favoriten
4

Coqoon: An IDE for interactive proof development in Coq.
Faithfull, Alexander ; Bengtson, Jesper ; Tassi, Enrico ; et al.
International Journal on Software Tools for Technology Transfer; Apr2018, Vol. 20 Issue 2, p125-137, 13p

USER interfaces PROGRAMMING languages INTERACTIVE computer sys... INTERACTIVE proof method... PARALLEL algorithms
Fachzeitschrift
Zu den Favoriten
5

Proofs Probable.
Savage, Neil
Communications of the ACM; Jun2013, Vol. 56 Issue 6, p22-24, 3p, 3 Color Photographs

GOLDWASSER, Shafi MICALI, Silvio CRYPTOGRAPHY research ZERO-knowledge proofs PROBABILITY theory INTERACTIVE proof method...
Zeitschrift
Zu den Favoriten
6

A Defining interactive proofs and arguments: A.2 On computationally bounded provers: An overview.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p237-241, 5p

INTERACTIVE proof method... COMPUTATIONAL complexity PROOF theory COMPLETENESS theorem MATHEMATICAL logic
Fachzeitschrift
Zu den Favoriten
7

A Defining interactive proofs and arguments: A.1 The basic definition of interactive proofs.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p234-237, 4p

INTERACTIVE proof method... POLYNOMIAL time algorith... PROBABILISTIC generative... MATHEMATICAL functions POLYNOMIALS
Fachzeitschrift
Zu den Favoriten
8

5 Epilogue.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p228-231, 4p

INTERACTIVE proof method... PROOF theory ARITHMETIC POLYNOMIALS BOOLEAN functions
Fachzeitschrift
Zu den Favoriten
9

4 Overview of the doubly-efficient interactive proof systems of RRR: 4.3 Batch verification for unambiguous IP.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p220-227, 8p

INTERACTIVE proof method... MATHEMATICS theorems INTEGRATED circuit verif... PROBABILISTIC number the... PROOF theory
Fachzeitschrift
Zu den Favoriten
10

4 Overview of the doubly-efficient interactive proof systems of RRR: 4.2 Warm-up: Batch verification for NP.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p216-220, 5p

INTERACTIVE proof method... PROOF theory POLYNOMIALS REED-Muller codes LINEAR time invariant sy...
Fachzeitschrift
Zu den Favoriten
11

3 On the doubly-efficient interactive proof systems of GKR: 3.4 Details.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p207-211, 5p

INTERACTIVE proof method... POLYNOMIALS LOGIC circuits POLYNOMIAL time algorith... PROOF theory
Fachzeitschrift
Zu den Favoriten
12

3 On the doubly-efficient interactive proof systems of GKR: 3.3 Evaluating the polynomial ...i.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p204-207, 4p

POLYNOMIALS INTERACTIVE proof method... MATHEMATICAL functions LOGIC circuits ALGORITHMS
Fachzeitschrift
Zu den Favoriten
13

3 On the doubly-efficient interactive proof systems of GKR: 3.2 The main module.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p199-204, 6p

INTERACTIVE proof method... FINITE fields LOGIC circuits POLYNOMIALS PROOF theory
Fachzeitschrift
Zu den Favoriten
14

Simple doubly-efficient interactive proof systems: 2.3 The second construction for t-no-CLIQUE.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p186-196, 11p

INTERACTIVE proof method... GRAPHIC methods GEOMETRIC vertices POLYNOMIALS PROOF theory
Fachzeitschrift
Zu den Favoriten
15

Simple doubly-efficient interactive proof systems: 2.2 A generic construction for locally-characterizable set.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p177-185, 8p

POLYNOMIALS BOOLEAN functions POLYNOMIAL time algorith... GEOMETRIC vertices INTERACTIVE proof method...
Fachzeitschrift
Zu den Favoriten
16

Simple doubly-efficient interactive proof systems: 2.1 The first construction for t-no-CLIQUE.
Goldreich, Oded
Foundations & Trends in Theoretical Computer Science; 2017, Vol. 13 Issue 3, p174-177, 4p

INTERACTIVE proof method... GEOMETRIC vertices SUBGRAPHS PROOF theory INTEGERS
Fachzeitschrift
Zu den Favoriten
17

An efficient authentication protocol using zero knowledge property and pairing on elliptic curves.
Kumar, Manoj
International Journal of Advanced Research in Computer Science; May/Jun2017, Vol. 8 Issue 5, p2155-2159, 5p

ZERO-knowledge proofs CRYPTOGRAPHY INTERACTIVE proof method... ELLIPTIC curves WEIL conjectures ABELIAN varieties
Fachzeitschrift
Zu den Favoriten
18

Verifying Invariants of Lock-Free Data Structures with Rely-Guarantee and Refinement Types.
GORDON, COLIN S. ; ERNST, MICHAEL D. ; GROSSMAN, DAN ; et al.
ACM Transactions on Programming Languages & Systems; May2017, Vol. 39 Issue 3, p1-54, 54p

DATA structures PROGRAMMING languages INTERACTIVE proof method... SCALABILITY VERIFICATION of computer...
Fachzeitschrift
Zu den Favoriten
19

Semi-intelligible Isar Proofs from Machine-Generated Proofs.
Blanchette, Jasmin ; Böhme, Sascha ; Fleury, Mathias ; et al.
Journal of Automated Reasoning; Feb2016, Vol. 56 Issue 2, p155-200, 46p

AUTOMATIC theorem provin... INTERACTIVE proof method... DIRECT proof (Mathematic... PROOF theory LOGIC
Fachzeitschrift
Zu den Favoriten
20

KIV: overview and VerifyThis competition.
Ernst, Gidon ; Pfähler, Jörg ; Schellhorn, Gerhard ; et al.
International Journal on Software Tools for Technology Transfer; Nov2015, Vol. 17 Issue 6, p677-694, 18p

SOFTWARE verification COMPUTER logic COMPUTER software correc... JAVA programming languag... INTERACTIVE proof method... AXIOMS
Fachzeitschrift
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter