Details for the publication GaoSC24.

Pengfei Gao, Fu Song (), Taolue Chen (): Compositional Verification of First-Order Masking Countermeasures against Power Side-Channel Attacks. In ACM Trans. Softw. Eng. Methodol. 33(3):79:1-79:38, 2024. DOI BIB