Synthesis of Masking Countermeasures against Side Channel Attacks

DOI10.1007/978-3-319-08867-9_8zbMath1445.68058OpenAlexW150190951MaRDI QIDQ2920987

Chao Wang, Hassan Eldib

Publication date: 29 September 2014

Published in: Computer Aided Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08867-9_8

Mathematics Subject Classification ID

Cryptography (94A60) Theory of software (68N99)

Related Items (4)

Secure and efficient software masking on superscalar pipelined processors ⋮ Physical attacks and beyond ⋮ Compositional Synthesis of Leakage Resilient Programs ⋮ Parallel Implementations of Masking Schemes and the Bounded Moment Leakage Model

This page was built for publication: Synthesis of Masking Countermeasures against Side Channel Attacks