Saeed Nejati
Saeed Nejati
University of Waterloo
Verified email at uwaterloo.ca - Homepage
Title
Cited by
Cited by
Year
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
222011
Adaptive restart and CEGAR-based solver for inverting cryptographic hash functions
S Nejati, JH Liang, C Gebotys, K Czarnecki, V Ganesh
Working Conference on Verified Software: Theories, Tools, and Experiments …, 2017
192017
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
152016
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
International Conference on Theory and Applications of Satisfiability …, 2017
132017
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
132011
Algebraic fault attack on sha hash functions using programmatic sat solvers
S Nejati, J Horáček, C Gebotys, V Ganesh
International Conference on Principles and Practice of Constraint …, 2018
62018
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
52016
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
32019
A machine learning based splitting heuristic for divide-and-conquer solvers
S Nejati, L Le Frioux, V Ganesh
International Conference on Principles and Practice of Constraint …, 2020
22020
CDCL (crypto) SAT solvers for cryptanalysis
S Nejati, V Ganesh
arXiv preprint arXiv:2005.13415, 2020
22020
SHA-1 preimage instances for SAT
S Nejati, JH Liang, V Ganesh, C Gebotys, K Czarnecki
SAT COMPETITION 2017, 45, 2017
22017
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers
J Scott, A Niemetz, M Preiner, S Nejati, V Ganesh
Tools and Algorithms for the Construction and Analysis of Systems 12652, 303, 2020
12020
Lam’s Problem Benchmarks for the SAT Competition 2020
C Bright, S Nejati, V Ganesh
SAT COMPETITION 2020, 92, 2020
12020
MathCheck2: A SAT+ CAS Verifier for Combinatorial Conjectures
VG Curtis Bright, A Heinle, I Kotsireas, S Nejati, K Czarnecki, SCSC Track
International Workshop on Computer Algebra in Scientific Computing, 2016
12016
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
2020
CDCL (Crypto) and Machine Learning based SAT Solvers for Cryptanalysis
S Nejati
University of Waterloo, 2020
2020
MaplePainless-DC Parallel SAT Solver for SAT Competition 2020
S Nejati, V Ganesh
SAT COMPETITION 2020, 38, 0
MapleCOMSPS LRB VSIDS for SAT Competition 2020
JH Liang, C Oh, S Nejati, P Poupart, V Ganesh
SAT COMPETITION 2020, 36, 0
Online Bayesian Moment Matching based SAT Solver Heuristics: Supplemental Material
H Duan, S Nejati, G Trimponias, P Poupart, V Ganesh
The system can't perform the operation now. Try again later.
Articles 1–19