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]
@inproceedings{MeunierT23,
title = {VerifMSI: Practical Verification of Hardware and Software Masking Schemes Implementations},
author = {Quentin L. Meunier and Abdul Rahman Taleb},
year = {2023},
doi = {10.5220/0012138600003555},
url = {https://doi.org/10.5220/0012138600003555},
researchr = {https://researchr.org/publication/MeunierT23},
cites = {0},
citedby = {0},
pages = {520-527},
booktitle = {Proceedings of the 20th International Conference on Security and Cryptography, SECRYPT 2023, Rome, Italy, July 10-12, 2023},
editor = {Sabrina De Capitani di Vimercati and Pierangela Samarati},
publisher = {SCITEPRESS},
isbn = {978-989-758-666-8},
}