| 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 | 38 | 2021 |
| 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 | 36 | 2017 |
| 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 | 27 | 2016 |
| 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 | 27 | 2011 |
| 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 | 23 | 2017 |
| 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 | 21 | 2011 |
| Cdcl (crypto) sat solvers for cryptanalysis S Nejati, V Ganesh arXiv preprint arXiv:2005.13415, 2020 | 15 | 2020 |
| 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 | 14 | 2018 |
| 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 | 11 | 2023 |
| 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 | 11 | 2020 |
| 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 | 10 | 2021 |
| 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 | 10 | 2020 |
| 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 | 9 | 2019 |
| {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 | 7 | 2016 |
| Cdcl (crypto) and machine learning based sat solvers for cryptanalysis S Nejati University of Waterloo, 2020 | 4 | 2020 |
| SHA-1 preimage instances for SAT S Nejati, JH Liang, V Ganesh, C Gebotys, K Czarnecki SAT COMPETITION 2017, 45, 2017 | 4 | 2017 |
| SHA-256 Collision Attack with Programmatic SAT N Alamgir, S Nejati, C Bright arXiv preprint arXiv:2406.20072, 2024 | 1 | 2024 |
| 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 | 1 | 2023 |
| Lam’s problem benchmarks for the SAT competition 2020 C Bright, S Nejati, V Ganesh SAT COMPETITION 2020, 92, 2020 | 1 | 2020 |
| Specification language for generating graph reachability-based analyses for cloud-based system resources N Razavi, O Tkachuk, XU Zhixing, S Nejati, M Li US Patent 12,132,735, 2024 | | 2024 |
Vijay GaneshProfessor, Georgia Institute of Technology, Atlanta, GA, USAVerified email at gatech.edu
