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

Full work available at URL https://doi.org/10.1007/978-981-95-3537-8_4

zbMATH Keywords

formal verificationmaskingnon-interferenceprobe-isolation non-interferenceside-channel analysis

Mathematics Subject Classification ID

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

Cites work

• Advances in Cryptology - CRYPTO 2003
• Formal verification of masked hardware implementations in the presence of glitches
• Graph-Based Algorithms for Boolean Function Manipulation
• Hardware Private Circuits: From Trivial Composition to Full Verification
• Higher-order side channel security and mask refreshing
• Randomness complexity of private circuits for multiplication
• SILVER -- statistical independence and leakage verification
• Towards sound approaches to counteract power-analysis attacks
• Unifying leakage models: from probing attacks to noisy leakage.

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)