Saeed Nejati
CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis
University of Waterloo (PhD thesis 2020)
[pdf] [bib] [slides]
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
A Machine Learning based Splitting Heuristic for Divide-and-Conquer Solvers
International Conference on Principles and Practice of Constraint Programming (CP 2020)
[pdf] [bib] [slides]
Saeed Nejati, Haonan Duan, George Trimponias, Pascal Poupart, Vijay Ganesh
Online Bayesian Moment Matching based SAT Solver Heuristics
Proceedings of the International Conference on Machine Learning (ICML 2020)
[pdf] [bib] [slides]
Saeed Nejati, Vijay Ganesh
CDCL(Crypto) SAT Solvers for Cryptanalysis
International Conference on Computer Science and Software Engineering (CASCON 2019)
[pdf] [bib] [slides]
Saeed Nejati, Jan Horacek, Catherine Gebotys, Vijay Ganesh
Algebraic Fault Attack on SHA Hash Functions using Programmatic SAT Solvers
International Conference on Principles and Practice of Constraint Programming (CP 2018)
[pdf] [bib] [slides]
Saeed Nejati, Zack Newsham, Joseph Scott, Jia Liang, Catherine Gebotys, Pascal Poupart, Vijay Ganesh
A Propagation Rate Based Splitting Heuristic for Divide-and-Conquer Solvers
International Conference on Theory and Applications of Satisfiability Testing (SAT 2017)
[pdf] [bib] [slides]
Saeed Nejati, Jia Liang, Catherine Gebotys, Krzysztof Czarnecki, Vijay Ganesh
Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions
Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2017)
[pdf] [bib] [slides]
Saeed Nejati,
SAT-based Cryptanalysis of Cryptographic Hash Functions
Encoding Showcase, Theoretical Foundations of SAT/SMT Solving, Simons Institute, February 2021
[slides]
Saeed Nejati,
Enhancing SAT Solvers for Cryptanalysis Tasks
8th Software Security, Protection, and Reverse Engineering Workshop (SSPREW-8), December 2018
[slides]