Items where Author is "Barlik, M."
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Type | No Grouping
Number of items: 1.
Barlik, M. & Brain, M. 
ORCID: 0000-0003-4216-7151 (2025).
Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2.
In:
CEUR Workshop Proceedings.
SMT 2025: 23rd International Workshop on Satisfiability Modulo Theories, 10-11 Aug 2025, Glasgow, UK.