<  Retour au portail Polytechnique Montréal

Automated Analysis of Halo2 Circuits

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny et Mohsen Ahmadvand

Communication écrite (2023)

Un lien externe est disponible pour ce document
Département: Département de génie informatique et génie logiciel
URL de PolyPublie: https://publications.polymtl.ca/54757/
Nom de la conférence: 21st International Workshop on Satisfiability Modulo Theories (SMT 2023)
Lieu de la conférence: Rome, Italy
Date(s) de la conférence: 2023-07-05 - 2023-07-06
Maison d'édition: CEUR-WS
URL officielle: https://ceur-ws.org/Vol-3429/paper3.pdf
Date du dépôt: 28 août 2023 10:11
Dernière modification: 25 sept. 2024 16:46
Citer en APA 7: Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (juillet 2023). Automated Analysis of Halo2 Circuits [Communication écrite]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. https://ceur-ws.org/Vol-3429/paper3.pdf

Statistiques

Aucune statistique n'est disponible.

Actions réservées au personnel

Afficher document Afficher document