<  Back to the Polytechnique Montréal portal

Items where Author is "Ahmadvand, Mohsen"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: S
Number of items: 1.


Soureshjani, F. H., Hall-Andersen, M., Jahanara, M.M., Kam, J., Gorzny, J., & Ahmadvand, M. (2023, July). Automated Analysis of Halo2 Circuits [Paper]. 21st International Workshop on Satisfiability Modulo Theories (SMT 2023), Rome, Italy. External link

List generated on: Sat Feb 24 07:51:39 2024 EST