Fatemeh Heidari Soureshjani

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Edge Preserving

Automated Analysis

Human Visual System

Top Venues

IACR Cryptol. ePrint Arch.

Publications

Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
Automated Analysis of Halo2 Circuits. SMT (2023)