Search Results for 'Zaatar'

Zaatar published presentations and documents on DocSlides.

Making verifiable computation a systems problem
Making verifiable computation a systems problem
by giovanna-bartolotta
Michael Walfish. The University of Texas at Austi...
A hybrid architecture for interactive verifiable computatio
A hybrid architecture for interactive verifiable computatio
by marina-yarberry
Victor Vu, . Srinath. . Setty. ,. Andrew J. Blum...
Making verifiable computation a systems problem
Making verifiable computation a systems problem
by myesha-ticknor
Michael Walfish. The University of Texas at Austi...
Verifying remote executions:
Verifying remote executions:
by phoebe-click
from wild implausibility to near practicality. Mi...
Verifying remote executions:
Verifying remote executions:
by trish-goza
from wild implausibility to near practicality. Mi...
A hybrid architecture for interactive verifiable computation
A hybrid architecture for interactive verifiable computation
by byrne
Victor Vu, . Srinath. . Setty. ,. Andrew J. Blumb...
A case of repeated gum boils  Essam I. Zaatar  ULLETINTHENSTITUTEFOR
.
A case of repeated gum boils Essam I. Zaatar ULLETINTHENSTITUTEFOR .
by lois-ondreau
81 A case of repeated gum boils with frequently y...