Formal verification of side-channel countermeasures via elementary circuit transformations
From MaRDI portal
Publication:1656021
DOI10.1007/978-3-319-93387-0_4zbMath1440.94041MaRDI QIDQ1656021
Publication date: 10 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-93387-0_4
automated security analysis; high-order masking; security proof; side-channel attacks and countermeasures
94A60: Cryptography
Related Items
Side-channel masking with pseudo-random generator, Random probing security: verification, composition, expansion and new constructions, SILVER -- statistical independence and leakage verification