דלג לתוכן (מקש קיצור 's')
אירועים

אירועים והרצאות בפקולטה למדעי המחשב ע"ש הנרי ומרילין טאוב

event speaker icon
מיכאל ריאבצב (הרצאה סמינריונית לדוקטורט)
event date icon
יום שני, 03.06.2019, 12:30
event location icon
טאוב 601
event speaker icon
מנחה: 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.