Arribas, VictorVictorArribasNikova, S.S.NikovaRijmen, VincentVincentRijmen2021-10-252021-10-252018https://imec-publications.be/handle/20.500.12860/30150VerMI: Verification Tool for Masked ImplementationsProceedings paperhttps://ieeexplore.ieee.org/document/8617841