The top documents tagged [verified computation]

Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin.

Making proof-based verified computation almost practical Michael Walfish The University of Texas at Austin.

215 views
Making proof-based verified computation almost practical

Making proof-based verified computation almost practical

28 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS