Formal security analysis of authentication in SNMPv3 protocol by an automated tool. - Sepideh Asadi; Hadi Shahriar Shahhoseini (IST, 2012)

Duality-based interpolation for quantifier-free equalities and uninterpreted functions. - Leonardo Alt; Antti Eero Johannes Hyvärinen; Sepideh Asadi; Natasha Sharygina (FMCAD, 2017)

Theory Refinement for Program Verification. - Antti E. J. Hyvärinen; Sepideh Asadi; Karine Even-Mendoza; Grigory Fedyukovich; Hana Chockler; Natasha Sharygina (SAT, 2017)

HiFrog: SMT-based Function Summarization for Software Verification. - Leonardo Alt; Sepideh Asadi; Hana Chockler; Karine Even-Mendoza; Grigory Fedyukovich; Antti E. J. Hyvärinen; Natasha Sharygina (TACAS (2), 2017)

Computing Exact Worst-Case Gas Consumption for Smart Contracts. - Matteo Marescotti; Martin Blicha; Antti E. J. Hyvärinen; Sepideh Asadi; Natasha Sharygina (ISoLA (4), 2018)

Function Summarization Modulo Theories. - Sepideh Asadi; Martin Blicha; Grigory Fedyukovich; Antti E. J. Hyvärinen; Karine Even-Mendoza; Natasha Sharygina; Hana Chockler (LPAR, 2018)

Lattice-Based Refinement in Bounded Model Checking. - Karine Even-Mendoza; Sepideh Asadi; Antti E. J. Hyvärinen; Hana Chockler; Natasha Sharygina (VSTTE, 2018)

Incremental Verification by SMT-based Summary Repair. - Sepideh Asadi; Martin Blicha; Antti E. J. Hyvärinen; Grigory Fedyukovich; Natasha Sharygina (FMCAD, 2020)

Farkas-Based Tree Interpolation. - Sepideh Asadi; Martin Blicha; Antti E. J. Hyvärinen; Grigory Fedyukovich; Natasha Sharygina (SAS, 2020)

SMT-based verification of program changes through summary repair. - Sepideh Asadi; Martin Blicha; Antti E. J. Hyvärinen; Grigory Fedyukovich; Natasha Sharygina (Formal Methods Syst. Des., 2022)