Formal verification of side-channel countermeasures via elementary circuit transformations (Q1656021): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 04:28, 1 February 2024

scientific article
Language Label Description Also known as
English
Formal verification of side-channel countermeasures via elementary circuit transformations
scientific article

    Statements

    Formal verification of side-channel countermeasures via elementary circuit transformations (English)
    0 references
    10 August 2018
    0 references
    side-channel attacks and countermeasures
    0 references
    high-order masking
    0 references
    security proof
    0 references
    automated security analysis
    0 references

    Identifiers