Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks (Q6091332)

From MaRDI portal





scientific article; zbMATH DE number 7770562
Language Label Description Also known as
English
Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks
scientific article; zbMATH DE number 7770562

    Statements

    Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks (English)
    0 references
    24 November 2023
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references