Verified Proofs of Higher-Order Masking (Q2948340)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Verified Proofs of Higher-Order Masking
scientific article

    Statements

    Verified Proofs of Higher-Order Masking (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    30 September 2015
    0 references
    higher-order masking
    0 references
    automatic tools
    0 references
    EasyCrypt
    0 references

    Identifiers