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.
Link:
http://www.cs.technion.ac.il/~colloq/20150107_14_30_Rothblum.html

Back to the index of events