Details for the publication GaoZSCS23.

Pengfei Gao, Yedi Zhang, Fu Song (), Taolue Chen (), François-Xavier Standaert: Compositional Verification of Efficient Masking Countermeasures against Side-Channel Attacks. In Proc. ACM Program. Lang. 7(OOPSLA2):1817-1847, 2023. DOI BIB