Saeed Nejati

21 papers A* 2A 3B 1Misc 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2024 A* conf
Cloud Resource Protection via Automated Security Property Reasoning.
ASE
Zhixing Xu, Shengjian Guo, Oksana Tkachuk, Saeed Nejati, Niloofar Razavi, George Argyros
2024 — conf
SHA-256 Collision Attack with Programmatic SAT.
PAAR+SC²@IJCAR
Nahiyan Alamgir, Saeed Nejati, Curtis Bright
2024 J jnl
SHA-256 Collision Attack with Programmatic SAT.
CoRR
Nahiyan Alamgir, Saeed Nejati, Curtis Bright
2023 J jnl
Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2023 J jnl
Publisher Correction: Algorithm selection for SMT.
Int. J. Softw. Tools Technol. Transf.
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2022 Misc conf
Diversifying a Parallel SAT Solver with Bayesian Moment Matching.
SETTA
Vincent Vallade, Saeed Nejati, Julien Sopena, Souheib Baarir, Vijay Ganesh
2021 — conf
MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers.
TACAS (2)
Joseph Scott, Aina Niemetz, Mathias Preiner, Saeed Nejati, Vijay Ganesh
2020 A conf
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers.
CP
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
2020 J jnl
CDCL(Crypto) SAT Solvers for Cryptanalysis.
CoRR
Saeed Nejati, Vijay Ganesh
2020 — —
CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis.
Saeed Nejati
2020 A* conf
Online Bayesian Moment Matching based SAT Solver Heuristics.
ICML
Haonan Duan, Saeed Nejati, George Trimponias, Pascal Poupart, Vijay Ganesh
2019 — conf
CDCL(Crypto) SAT solvers for cryptanalysis.
CASCON
Saeed Nejati, Vijay Ganesh
2019 J jnl
Impact of diminished-1 encoding on residue number systems arithmetic units and converters.
Comput. Electr. Eng.
Ghassem Jaberipur, Armin Belghadr, Saeed Nejati
2018 A conf
Algebraic Fault Attack on SHA Hash Functions Using Programmatic SAT Solvers.
CP
Saeed Nejati, Jan Horácek, Catherine H. Gebotys, Vijay Ganesh
2017 A conf
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers.
SAT
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Hui Liang, Catherine H. Gebotys, Pascal Poupart, Vijay Ganesh
2017 — conf
Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions.
VSTTE
Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh
2016 J jnl
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions.
CoRR
Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki
2016 B conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
CASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016 — conf
MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures.
SC²@SYNASC
Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki
2016 — conf
Non-Deterministic Timers for Hardware Trojan Activation (or How a Little Randomness Can Go the Wrong Way).
WOOT
Frank Imeson, Saeed Nejati, Siddharth Garg, Mahesh V. Tripunitara
2011 — conf
On building general modular adders from standard binary arithmetic components.
ACSCC
Ghassem Jaberipur, Behrooz Parhami, Saeed Nejati