Saeed Nejati

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 18

Top Topics

Propositional Satisfiability

Machine Learning

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Nahiyan Alamgir, Saeed Nejati, Curtis Bright
SHA-256 Collision Attack with Programmatic SAT. PAAR+SC²@IJCAR (2024)
Nahiyan Alamgir, Saeed Nejati, Curtis Bright
SHA-256 Collision Attack with Programmatic SAT. CoRR (2024)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (2) (2023)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
Publisher Correction: Algorithm selection for SMT. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
Diversifying a Parallel SAT Solver with Bayesian Moment Matching. SETTA (2022)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers. TACAS (2) (2021)
Saeed Nejati, Vijay Ganesh
CDCL(Crypto) SAT Solvers for Cryptanalysis. CoRR (2020)
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. CP (2020)
Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh
Online Bayesian Moment Matching based SAT Solver Heuristics. ICML (2020)
Saeed Nejati, Vijay Ganesh
CDCL(Crypto) SAT solvers for cryptanalysis. CASCON (2019)
Ghassem Jaberipur, Armin Belghadr, Saeed Nejati
Impact of diminished-1 encoding on residue number systems arithmetic units and converters. Comput. Electr. Eng. 75 (2019)
Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers. CP (2018)
Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. VSTTE (2017)
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers. SAT (2017)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. CASC (2016)
Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. CoRR (2016)
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. SC²@SYNASC (2016)
Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara
Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way). WOOT (2016)
Ghassem Jaberipur, Behrooz Parhami, Saeed Nejati
On building general modular adders from standard binary arithmetic components. ACSCC (2011)