talks

presentations in reversed chronological order.

Slides for conference presentations can be found in each entry in publications page.

2021

  1. Invited Talk
    SAT-based Cryptanalysis of Cryptographic Hash Functions
    Nejati, Saeed
    2021
    Slides

2019

  1. End-Of-Internship
    Toward Verification of Unchecked Codes in Checked C
    Nejati, Saeed
    2019
    Slides

2018

  1. Invited Talk
    Enhancing SAT Solvers for Cryptanalysis Tasks
    Nejati, Saeed
    2018
    Slides