May 12, 2023
2023
paper on a practical verification tool for masking security accepted in SECRYPT 2023