On building general modular adders from standard binary arithmetic components. - Ghassem Jaberipur; Behrooz Parhami; Saeed Nejati (ACSCC, 2011)

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. - Curtis Bright; Vijay Ganesh 001; Albert Heinle; Ilias S. Kotsireas; Saeed Nejati; Krzysztof Czarnecki 001 (SC²@SYNASC, 2016)

Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). - Frank Imeson; Saeed Nejati; Siddharth Garg; Mahesh V. Tripunitara (WOOT, 2016)

A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. - Saeed Nejati; Zack Newsham; Joseph Scott; Jia Hui Liang; Catherine H. Gebotys; Pascal Poupart; Vijay Ganesh 001 (SAT, 2017)

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. - Saeed Nejati; Jia Hui Liang; Catherine H. Gebotys; Krzysztof Czarnecki 001; Vijay Ganesh 001 (VSTTE, 2017)

Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. - Saeed Nejati; Jan Horácek; Catherine H. Gebotys; Vijay Ganesh 001 (CP, 2018)

CDCL(Crypto) SAT solvers for cryptanalysis. - Saeed Nejati; Vijay Ganesh 001 (CASCON, 2019)

Impact of diminished-1 encoding on residue number systems arithmetic units and converters. - Ghassem Jaberipur; Armin Belghadr; Saeed Nejati (Comput. Electr. Eng., 2019)

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. - Saeed Nejati; Ludovic Le Frioux; Vijay Ganesh 001 (CP, 2020)

Online Bayesian Moment Matching based SAT Solver Heuristics. - Haonan Duan 002; Saeed Nejati; George Trimponias; Pascal Poupart; Vijay Ganesh 001 (ICML, 2020)

CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis. - Saeed Nejati (2020)

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (TACAS (2), 2021)

Diversifying a Parallel SAT Solver with Bayesian Moment Matching. - Vincent Vallade; Saeed Nejati; Julien Sopena; Souheib Baarir; Vijay Ganesh 001 (SETTA, 2022)

MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Zenodo, 2022)

Algorithm selection for SMT. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Publisher Correction: Algorithm selection for SMT. - Joseph Scott; Aina Niemetz; Mathias Preiner; Saeed Nejati; Vijay Ganesh 001 (Int. J. Softw. Tools Technol. Transf., 2023)

Cloud Resource Protection via Automated Security Property Reasoning. - Zhixing Xu; Shengjian Guo; Oksana Tkachuk; Saeed Nejati; Niloofar Razavi; George Argyros (ASE, 2024)

SHA-256 Collision Attack with Programmatic SAT. - Nahiyan Alamgir; Saeed Nejati; Curtis Bright (PAAR+SC²@IJCAR, 2024)