Nicky Mouha. Exploring Formal Methods for Cryptographic Hash Function Implementations. In Leonie Simpson, Mir Ali Rezazadeh Baee, editors, Information Security and Privacy - 28th Australasian Conference, ACISP 2023, Brisbane, QLD, Australia, July 5-7, 2023, Proceedings. Volume 13915 of Lecture Notes in Computer Science, pages 177-195, Springer, 2023. [doi]
Abstract is missing.