HADES: Automated Hardware Design Exploration for Cryptographic Primitives. - Fabian Buschkowski; Georg Land; Niklas Höher; Jan Richter-Brockmann; Pascal Sasdrich; Tim Güneysu (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)