Uploads
Contact
/
Login
Upload
Search Results for 'Ommit Zaatar'
Verifying remote executions:
phoebe-click
Verifying remote executions:
trish-goza
A hybrid architecture for interactive verifiable computatio
marina-yarberry
Making argument systems for outsourced computation practica
alexa-scheidler
Making argument systems for outsourced computation practica
sherrill-nordquist
Making verifiable computation a systems problem
myesha-ticknor
Making verifiable computation a systems problem
giovanna-bartolotta
Making proof-based verified computation almost practical
alexa-scheidler
Making proof-based verified computation almost practical
danika-pritchard
A case of repeated gum boils Essam I. Zaatar ULLETINTHENSTITUTEFOR .
lois-ondreau