Goldberg, Lior
165  results:
Search for persons X
?
 
?
5

A verified algebraic representation of cairo program execut..:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Avigad, Jeremy ; Goldberg, Lior ; Levit, David.. - p. 153-165 , 2022
 
?
11

Linear-Size Constant-Query IOPs for Delegating Computation:

, In: Theory of Cryptography; Lecture Notes in Computer Science,
 
?
 
1-15