System and Software Security Lab - Software

QMSInfer: Verifying and Quantifying Side-Channel Resistance of Masked Software Implementation
QMVerif: Quantitative Veriﬁcation of Masked Arithmetic Programs against Side-Channel Attacks