publications

publications by categories in reversed chronological order.

2020

  1. Thesis
    CDCL(Crypto) and Machine Learning based SAT Solvers for Cryptanalysis
    Nejati, Saeed
    2020
    Slides
  2. ICML
    Online Bayesian Moment Matching based SAT Solver Heuristics
    Duan, Haonan,  Nejati, Saeed, Trimponias, George, Poupart, Pascal, and Ganesh, Vijay
    In International Conference on Machine Learning 2020
  3. CP
    A machine learning based splitting heuristic for divide-and-conquer solvers
    Nejati, Saeed, Le Frioux, Ludovic, and Ganesh, Vijay
    In International Conference on Principles and Practice of Constraint Programming 2020

2019

  1. Impact of diminished-1 encoding on residue number systems arithmetic units and converters
    Jaberipur, Ghassem, Belghadr, Armin, and Nejati, Saeed
    Computers & Electrical Engineering 2019
  2. CASCON
    CDCL (crypto) SAT solvers for cryptanalysis
    Nejati, Saeed, and Ganesh, Vijay
    Proceedings of the 29th Annual International Conference on Computer Science and Software Engineering 2019
    Slides

2018

  1. CP
    Algebraic fault attack on sha hash functions using programmatic sat solvers
    Nejati, Saeed, Horáček, Jan, Gebotys, Catherine, and Ganesh, Vijay
    In International Conference on Principles and Practice of Constraint Programming 2018
    Slides

2017

  1. VSTTE
    Adaptive restart and CEGAR-based solver for inverting cryptographic hash functions
    Nejati, Saeed, Liang, Jia Hui, Gebotys, Catherine, Czarnecki, Krzysztof, and Ganesh, Vijay
    In Working Conference on Verified Software: Theories, Tools, and Experiments 2017
  2. SAT
    A propagation rate based splitting heuristic for divide-and-conquer solvers
    Nejati, Saeed, Newsham, Zack, Scott, Joseph, Liang, Jia Hui, Gebotys, Catherine, Poupart, Pascal, and Ganesh, Vijay
    In International Conference on Theory and Applications of Satisfiability Testing 2017
    Slides

2016

  1. CASC
    MATHCHECK2: A SAT+ CAS Verifier for Combinatorial Conjectures
    Bright, Curtis, Ganesh, Vijay, Heinle, Albert, Kotsireas, Ilias,  Nejati, Saeed, and Czarnecki, Krzysztof
    In Computer Algebra in Scientific Computing 2016
  2. USENIX-WOOT
    Non-deterministic timers for hardware trojan activation (or how a little randomness can go the wrong way)
    Imeson, Frank,  Nejati, Saeed, Garg, Siddharth, and Tripunitara, Mahesh
    In 10th USENIX Workshop on Offensive Technologies (WOOT 16) 2016

2011

  1. IWSSIP
    Balanced minimal latency RNS addition for moduli set {2^n-1, 2^n, 2^n+1}
    Jaberipur, Ghassem, and Nejati, Saeed
    In 2011 18th International Conference on Systems, Signals and Image Processing 2011
  2. ASILOMAR
    On building general modular adders from standard binary arithmetic components
    Jaberipur, Ghassem, Parhami, Behrooz, and Nejati, Saeed
    In 2011 Conference Record of the Forty Fifth Asilomar Conference on Signals, Systems and Computers (ASILOMAR) 2011