ProverNG: efficient verification of compositional masking for cryptosystem's side-channel security

DOI10.1007/978-981-95-3537-8_4MaRDI QIDQ6846165zbMATH OpenFDO

Authors Yiming Yang, Feng Zhou, Yuanyuan Wang, Hua Chen, Limin Fan, An Wang

Publication date 11 March 2026

zbMATH Keywords

side-channel analysisnon-interferenceformal verificationmaskingprobe-isolation non-interference

Mathematics Subject Classification ID

Cryptography (94A60) Channel models (including quantum) in information and communication theory (94A40)

This page was built for publication: ProverNG: efficient verification of compositional masking for cryptosystem's side-channel security

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6846165)