Saeed Nejati

According to our database, Saeed Nejati authored at least 17 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

SHA-256 Collision Attack with Programmatic SAT.

Nahiyan Alamgir, Saeed Nejati, Curtis Bright

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024

2023

Publisher Correction: Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., December, 2023

Algorithm selection for SMT.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Int. J. Softw. Tools Technol. Transf., April, 2023

2022

MachSMT: Machine Learning Driven Algorithm Selection for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Dataset, November, 2022

Diversifying a Parallel SAT Solver with Bayesian Moment Matching.

Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2022

2021

MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.

Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis.

Saeed Nejati

PhD thesis, 2020

Online Bayesian Moment Matching based SAT Solver Heuristics.

Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh

Proceedings of the 37th International Conference on Machine Learning, 2020

A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers.

Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2020

2019

Impact of diminished-1 encoding on residue number systems arithmetic units and converters.

Ghassem Jaberipur, Armin Belghadr, Saeed Nejati

Comput. Electr. Eng., 2019

CDCL(Crypto) SAT solvers for cryptanalysis.

Saeed Nejati, Vijay Ganesh

Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering, 2019

2018

Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.

Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh

Proceedings of the Principles and Practice of Constraint Programming, 2018

2017

Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.

Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

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

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

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

Proceedings of the 10th USENIX Workshop on Offensive Technologies, 2016

MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.

Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki

Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic Computation co-located with 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2016), 2016

2011

On building general modular adders from standard binary arithmetic components.

Ghassem Jaberipur, Behrooz Parhami, Saeed Nejati

Proceedings of the Conference Record of the Forty Fifth Asilomar Conference on Signals, 2011