@inproceedings{takarabt:hal-03365025, TITLE = {{Formal Evaluation and Construction of Glitch-resistant Masked Functions}}, AUTHOR = {Takarabt, Sofiane and Guilley, Sylvain and Souissi, Youssef and Karray, Khaled and Sauvage, Laurent and Mathieu, Yves}, URL = {https://telecom-paris.hal.science/hal-03365025}, BOOKTITLE = {{IEEE International Symposium on Hardware Oriented Security and Trust, HOST 2021}}, ADDRESS = {Virtual, United States}, YEAR = {2021}, MONTH = Dec, PDF = {https://telecom-paris.hal.science/hal-03365025/file/Formal_Evaluation_and_Construction_of_Glitch_resistant_Masked_Functions%281%29.pdf}, HAL_ID = {hal-03365025}, HAL_VERSION = {v1}, }