Quentin L. Meunier, Abdul Rahman Taleb. VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations. In Sabrina De Capitani di Vimercati, Pierangela Samarati, editors, Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023. pages 520-527, SCITEPRESS, 2023. [doi]