Search for persons
X
?
Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ,
5
A verified algebraic representation of cairo program execut..:
, In:
?
Theory of Cryptography; Lecture Notes in Computer Science ,
11