Marcel Barlik

According to our database¹, Marcel Barlik authored at least 1 paper in 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of five.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2.

[BibT_eX]

[DOI]

Marcel Barlik

Martin Brain

Proceedings of the Joint Proceedings of the 23rd International Workshop on Satisfiability Modulo Theories and the 16th Pragmatics of SAT International Workshop co-located with the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Marcel Barlik

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...