GelreCrypt 2025

Presented "A Case for Adopting Property-Based Testing in Cryptographic Software Libraries" at GelreCrypt 2025, organized by the Radboud University in Nijmegen, The Netherlands.

Link to workshop website: https://gelrecrypt.cs.ru.nl. I presented these slides to the audience on November 5, 2025.