Wednesday, March 25, 2020

Wednesday, March 25, 2020 — 4:00 PM EDT

Candidate: Saeed Nejati

Title: Machine Learning Based SAT Solvers for Cryptanalysis

Date: March 25, 2020

Time: 4:00 PM

Place: REMOTE PARTICIPATION

Supervisor(s): Gebotys, Catherine - Ganesh, Vijay

 

Abstract:

S M T W T F S
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
1
2
3
4
  1. 2020 (148)
    1. September (1)
    2. August (1)
    3. July (17)
    4. June (29)
    5. May (32)
    6. April (27)
    7. March (13)
    8. February (20)
    9. January (16)
  2. 2019 (282)
    1. December (16)
    2. November (32)
    3. October (19)
    4. September (26)
    5. August (26)
    6. July (40)
    7. June (24)
    8. May (23)
    9. April (35)
    10. March (25)
    11. February (9)
    12. January (10)
  3. 2018 (150)
  4. 2017 (212)
  5. 2016 (242)
  6. 2015 (242)
  7. 2014 (268)
  8. 2013 (192)
  9. 2012 (31)