Verifying the correctness of remote executions: from theoretical possibility to near practicality

Speaker:
Michael Walfish - Colloquium Lecture
Date:
Thursday, 3.4.2014, 14:30
Place:
Room 337-8 Taub Bld.

Back to the index of events