Goldberg, Lior
144  Ergebnisse:
Personensuche X
?
 
?
4

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
 
?
 
?
12

Linear-Size Constant-Query IOPs for Delegating Computation:

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