paper on a new versatile verification tool for masking security accepted in IEEE Security and Privacy 2022
