How to Verify Computations without Reexecuting Them

Speaker:
Guy Rothblum - CS-Lecture -
Date:
Wednesday, 7.1.2015, 14:30
Place:
Room 337-8 Taub Bld.

Back to the index of events