36 citations · 150 across the 11 of their papers we have counts for
1 paper · 1 filter
Samuele Ferracin, Theodoros Kapourniotis, Animesh Datta
We present two verification protocols where the correctness of a "target" computation is checked by means of "trap" computations that can be efficiently simulated on a classical co…