HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

MaskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.

Complete list of metadata

https://hal.inria.fr/hal-02470965
Contributor : Isabelle Monjaret Connect in order to contact the contributor
Submitted on : Friday, February 7, 2020 - 4:20:46 PM
Last modification on : Wednesday, November 3, 2021 - 6:05:59 AM

Identifiers

  • HAL Id : hal-02470965, version 1

Citation

Gilles Barthe, Sonia Belaïd, Gaëtan Cassiers, Pierre-Alain Fouque, Benjamin Grégoire, et al.. MaskVerif: Automated Verification of Higher-Order Masking in Presence of Physical Defaults.. ESORICS 2019 The European Symposium on Research in Computer Security, Sep 2019, Luxembourg, Luxembourg. pp.300-318. ⟨hal-02470965⟩

Share

Metrics

Record views

43