This page shows all presentations of this author published in EasyChair Smart Slide.
Comparative Analysis of SMT Solvers for Differential Cryptanalysis of SHA-2
Marcel Barlik and Martin Brain