conf.researchr.org / Alon Titelman
Not registered as user yet
Name:Alon Titelman
Affiliation:Starkware Industries Ltd.
Contributions
| CPP 2022 | Author of A verified algebraic representation of Cairo program execution within the CPP 2022-track |
Not registered as user yet
Contributions
| CPP 2022 | Author of A verified algebraic representation of Cairo program execution within the CPP 2022-track |