Follow
Saeed Nejati
Saeed Nejati
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
Adaptive restart and CEGAR-based solver for inverting cryptographic hash functions
S Nejati, JH Liang, C Gebotys, K Czarnecki, V Ganesh
Verified Software. Theories, Tools, and Experiments: 9th International …, 2017
342017
MachSMT: A machine learning-based algorithm selector for SMT solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Conference on Tools and Algorithms for the Construction and …, 2021
322021
Balanced minimal latency RNS addition for moduli set {2n−1, 2n, 2n+1}
G Jaberipur, S Nejati
2011 18th International Conference on Systems, Signals and Image Processing, 1-7, 2011
262011
A propagation rate based splitting heuristic for divide-and-conquer solvers
S Nejati, Z Newsham, J Scott, JH Liang, C Gebotys, P Poupart, V Ganesh
Theory and Applications of Satisfiability Testing–SAT 2017: 20th …, 2017
232017
MATHCHECK2: A SAT+ CAS Verifier for Combinatorial Conjectures
C Bright, V Ganesh, A Heinle, I Kotsireas, S Nejati, K Czarnecki
Computer Algebra in Scientific Computing, 117-133, 2016
232016
On building general modular adders from standard binary arithmetic components
G Jaberipur, B Parhami, S Nejati
2011 Conference Record of the Forty Fifth Asilomar Conference on Signals …, 2011
182011
Algebraic fault attack on SHA hash functions using programmatic SAT solvers
S Nejati, J Horįček, C Gebotys, V Ganesh
Principles and Practice of Constraint Programming: 24th International …, 2018
122018
Cdcl (crypto) sat solvers for cryptanalysis
S Nejati, V Ganesh
arXiv preprint arXiv:2005.13415, 2020
112020
A machine learning based splitting heuristic for divide-and-conquer solvers
S Nejati, L Le Frioux, V Ganesh
Principles and Practice of Constraint Programming: 26th International …, 2020
92020
Impact of diminished-1 encoding on residue number systems arithmetic units and converters
G Jaberipur, A Belghadr, S Nejati
Computers & Electrical Engineering 75, 61-76, 2019
92019
New concurrent and distributed painless solvers: p-mcomsps, p-mcomsps-com, p-mcomsps-mpi, and p-mcomsps-com-mpi
V Vallade, L Le Frioux, R Oanea, S Baarir, J Sopena, F Kordon, S Nejati, ...
SAT COMPETITION, 40, 2021
72021
Online bayesian moment matching based sat solver heuristics
H Duan, S Nejati, G Trimponias, P Poupart, V Ganesh
International Conference on Machine Learning, 2710-2719, 2020
72020
{Non-Deterministic} Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way)
F Imeson, S Nejati, S Garg, M Tripunitara
10th USENIX Workshop on Offensive Technologies (WOOT 16), 2016
72016
Cdcl (crypto) and machine learning based sat solvers for cryptanalysis
S Nejati
University of Waterloo, 2020
42020
Algorithm selection for SMT: MachSMT: machine learning driven algorithm selection for SMT solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Journal on Software Tools for Technology Transfer 25 (2), 219-239, 2023
22023
SHA-1 preimage instances for SAT
S Nejati, JH Liang, V Ganesh, C Gebotys, K Czarnecki
SAT COMPETITION 2017, 45, 2017
22017
Lam’s problem benchmarks for the SAT competition 2020
C Bright, S Nejati, V Ganesh
SAT COMPETITION 2020, 92, 2020
12020
Algorithm selection for SMT (vol 25, pg 219, 2023)
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER 25 (5-6 …, 2023
2023
Publisher Correction: Algorithm selection for SMT
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
International Journal on Software Tools for Technology Transfer 25 (5), 799-800, 2023
2023
Diversifying a Parallel SAT Solver with Bayesian Moment Matching
V Vallade, S Nejati, J Sopena, S Baarir, V Ganesh
International Symposium on Dependable Software Engineering: Theories, Tools …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–20