Login / Signup
Nahiyan Alamgir
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Sat Solvers
Stochastic Local Search Algorithms
Collision Avoidance
Propositional Satisfiability
Top Venues
CoRR
PAAR+SC²@IJCAR
</>
Publications
</>
Nahiyan Alamgir
,
Saeed Nejati
,
Curtis Bright
SHA-256 Collision Attack with Programmatic SAT.
PAAR+SC²@IJCAR
(2024)
Nahiyan Alamgir
,
Saeed Nejati
,
Curtis Bright
SHA-256 Collision Attack with Programmatic SAT.
CoRR
(2024)