Formal verification of side-channel countermeasures via elementary circuit transformations

DOI10.1007/978-3-319-93387-0_4zbMath1440.94041OpenAlexW2795147945MaRDI QIDQ1656021

Jean-Sébastien Coron

Publication date: 10 August 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-93387-0_4

zbMATH Keywords

automated security analysishigh-order maskingsecurity proofside-channel attacks and countermeasures

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items (3)

SILVER -- statistical independence and leakage verification ⋮ Side-channel masking with pseudo-random generator ⋮ Random probing security: verification, composition, expansion and new constructions

This page was built for publication: Formal verification of side-channel countermeasures via elementary circuit transformations