Nahiyan Alamgir

According to our database, Nahiyan Alamgir authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

SHA-256 Collision Attack with Programmatic SAT.

Nahiyan Alamgir, Saeed Nejati, Curtis Bright

Proceedings of the Joint Proceedings of the 9th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 9th Satisfiability Checking and Symbolic Computation Workshop (SC-Square), 2024