Tobias Holl, Katharina Bogad, Michael Gruber. Whiteboxgrind - Automated Analysis of Whitebox Cryptography. In Elif Bilge Kavun, Michael Pehl, editors, Constructive Side-Channel Analysis and Secure Design - 14th International Workshop, COSADE 2023, Munich, Germany, April 3-4, 2023, Proceedings. Volume 13979 of Lecture Notes in Computer Science, pages 221-240, Springer, 2023. [doi]
Abstract is missing.