| 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 | 21 | 2011 |
| 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 | 19 | 2017 |
| 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 | 14 | 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 | 14 | 2011 |
| 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 | 13 | 2016 |
| 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 | 6 | 2018 |
| 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 | 4 | 2016 |
| 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 | 3 | 2019 |
| MathCheck2: A SAT+ CAS Verifier for Combinatorial Conjectures VG Curtis Bright, A Heinle, I Kotsireas, S Nejati, K Czarnecki, SCSC Track Computer Algebra in Scientific Computing-18th International Workshop, CASC …, 2016 | 3 | 2016 |
| CDCL (Crypto) SAT solvers for cryptanalysis S Nejati, V Ganesh arXiv preprint arXiv:2005.13415, 2020 | 2 | 2020 |
| Lam’s Problem Benchmarks for the SAT Competition 2020 C Bright, S Nejati, V Ganesh Proceedings of the SAT Competition, 2020 | 1 | 2020 |
| SHA-1 preimage instances for SAT S Nejati, JH Linag, V Ganesh, C Gebotys, K Czarnecki Proceedings of SAT Competition, 45, 2017 | 1 | 2017 |
| 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 |
| 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 | | 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 | | |
Vijay GaneshAssociate Professor, University of Waterloo, Ontario, CanadaVerified email at uwaterloo.ca
