Skip to content (access key 's')
Logo of Technion
Logo of CS Department
Logo of CS4People
Events

The Taub Faculty of Computer Science Events and Talks

Computational Integrity: from theory to practice
event speaker icon
Michael Riabzev (Ph.D. Thesis Seminar)
event date icon
Monday, 03.06.2019, 12:30
event location icon
Taub 601
event speaker icon
Advisor: Prof. E. Ben-Sasson and Prof. Y. Ishai
Computation integrity (CI) protocols allow a strong prover to convince a skeptic verifier it has knowledge of an input satisfying a program. Although theoretical CI constructions are well known for almost 30 years, industrial adaption has only recently started. In this seminar we will go over recent progress in industrial adaption, challenges addressed by our work, and the connection to blockchain based systems.